op">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a3e67b6c4a22c84e3686b7ee5a3fbfb53">final_states_size</a> () const</td></tr>
<tr class="separator:a3e67b6c4a22c84e3686b7ee5a3fbfb53"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ac6866d2614beea7195581e349d61e177"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="