set_transition_head()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a939b12edbf8ad166309291406c4ed6b6">PROTOBUF_FINAL</a>
</li>
<li>set_transition_label()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#abf42c734c786106a079346c67f6c42e5">PROTOBUF_FINAL</a>
</li>
<li>set_transition_tail()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a59053577176e1accd5ca751dea49f266">PROTOBUF_FINAL</a>
</li>
<li>set_upper_bound(