ations__research_1_1sat_1_1AutomatonConstraintProto.html#a3b5afcf60d2319bc7630435bbad9d139">AutomatonConstraintProto</a> ()</td></tr>
<tr class="separator:a3b5afcf60d2319bc7630435bbad9d139"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a54caf95a1b8950c7285ebb6795615a3d"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a54caf95a1b8950c72