l" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a05cb7c52e2ce1eea2689c26385612b33">InitAsDefaultInstance</a> ()</td></tr>
<tr class="separator:a05cb7c52e2ce1eea2689c26385612b33"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a40c7d7307cd44778b4788cd417dcce9a"><td class="memItemLeft" align="right" valign="top">static const <a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html">AutomatonConstraintProto</a> *&#160;</td><td cla