tr class="separator:a6d4d4d8b69c49cab2a467d3c4de4ad8f"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ae886b7fe2c0768f693d52be477579a41"><td class="memItemLeft" align="right" valign="top">const ::PROTOBUF_NAMESPACE_ID::RepeatedField&lt; ::PROTOBUF_NAMESPACE_ID::int64 &gt; &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#ae886b7fe2c0768f693d52be477579a41">final_states</a> () const</td></tr>