temRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#ace5c1249d6b5875e7f1936b75ff7c77b">add_transition_tail</a> (::PROTOBUF_NAMESPACE_ID::int64 value)</td></tr>
<tr class="separator:ace5c1249d6b5875e7f1936b75ff7c77b"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a099560829dac92513aa0028520808d27"><td class="memItemLeft" align="right" valign="top">const ::PROTOBUF_NAMESPACE_ID::RepeatedField&lt; ::PROTOBUF_NAMESPACE_ID::int