ss="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a40c7d7307cd44778b4788cd417dcce9a">internal_default_instance</a> ()</td></tr>
<tr class="separator:a40c7d7307cd44778b4788cd417dcce9a"><td class="memSeparator" colspan="2">&#160;</td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-static-attribs"></a>
Static Public Attributes</h2></td></tr>
<tr class="memitem:a8473d52a88ddd9