rations__research_1_1sat_1_1AutomatonConstraintProto.html#aeb8bd6525c0315ccd30db6b7ee93a78b">add_transition_label</a> (::PROTOBUF_NAMESPACE_ID::int64 value)</td></tr>
<tr class="separator:aeb8bd6525c0315ccd30db6b7ee93a78b"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:ab712a72e30f9d398f42ae5f5c39bac86"><td class="memItemLeft" align="right" valign="top">const ::PROTOBUF_NAMESPACE_ID::RepeatedField&lt; ::PROTOBUF_NAMESPACE_ID::int64 &gt; &amp;&#160;</td><td class="memItemRight" vali