094671c5f1">PROTOBUF_FINAL</a>
</li>
<li>mutable_f_direct()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4e4a3263dce480f2b6a787083cbeacc5">PROTOBUF_FINAL</a>
</li>
<li>mutable_f_inverse()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a6c0e2519431d0734958335f05e18c885">PROTOBUF_FINAL</a>
</li>
<li>mutable_final_states()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac1afa0e236324cb075d926f2969bae2b">PROTOBUF_