classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a95669efe110d5a69039ace44f68b088a">transition_head_size</a> () const</td></tr>
<tr class="separator:a95669efe110d5a69039ace44f68b088a"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a2c2a67b783ebd0fdb83756a55ff2f6a5"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a2c2a67b78