const final</td></tr>
<tr class="separator:a8a06269c8e930c92025bbf058e3cc00e"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ae8df650459f93a8c7348cc2ae9d4bff7"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html">AutomatonConstraintProto</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#ae8df650459f93a8c734