mRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a9b839359d1099cb1c2a5b33ac337535e">starting_state</a> () const</td></tr>
<tr class="separator:a9b839359d1099cb1c2a5b33ac337535e"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a4290e4a16ab8557489049ab8509de9ef"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1Au