 <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab4f9b013bace8a39ecce0f4c8c713f4c">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_assignment()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a8e1e432654e065c8832b4a582166e826">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_at_most_one()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a93369fa83a3c200b82fd8804d6bea22d">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_automaton()
: <