
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9cc10d1563dc9d59c705213707c6d755">PROTOBUF_FINAL</a>
</li>
<li>mutable_transition_tail()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a216ae9318884f561c16621880660dd8c">PROTOBUF_FINAL</a>
</li>
<li>mutable_unknown_fields()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aab6ceb76142ab4957ab265e4a5ca7ec2">PROTOBUF_FINAL</a>
</li>
<li>mutable_values()
: <a class="el