bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#a967f9dc34b1924194bfa5b900818b253">mutable_transition_label</a> ()</td></tr>
<tr class="separator:a967f9dc34b1924194bfa5b900818b253"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a76c521af56ab0e96eb06deeb679f46f7"><td class="memItemLeft" align="right" valign="top">int&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstr