es()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9254815b6a9310b9769ba1d2aa466863">PROTOBUF_FINAL</a>
</li>
<li>mutable_transformations()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a3bcc1e5b7c14f712864ab4817bda28ca">PROTOBUF_FINAL</a>
</li>
<li>mutable_transition_head()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ae59f68f3d216fb9aa8c56f5be6c1aba4">PROTOBUF_FINAL</a>
</li>
<li>mutable_transition_label()