ottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#abf42c734c786106a079346c67f6c42e5">set_transition_label</a> (int index, ::PROTOBUF_NAMESPACE_ID::int64 value)</td></tr>
<tr class="separator:abf42c734c786106a079346c67f6c42e5"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:aeb8bd6525c0315ccd30db6b7ee93a78b"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classope