to.html#a204ca3ad409d27e466e2f1151d09f83d">final_states</a> (int index) const</td></tr>
<tr class="separator:a204ca3ad409d27e466e2f1151d09f83d"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a9dabe006795915fe08da2e5fe68590f0"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a9dabe006795915fe08da2e5fe68590f0">set_final_states</a> (int index,