table_assignment()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#accc091dcab02243e27651d0d655631f2">PROTOBUF_FINAL</a>
</li>
<li>mutable_assumptions()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a8952235b811956e4b05d1cf22bc988fb">PROTOBUF_FINAL</a>
</li>
<li>mutable_at_most_one()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aa61c7a9c831d7b12b61e4fcc9c4002af">PROTOBUF_FINAL</a>
</li>
<li>mutable_automaton()
