_1_1sat_1_1PROTOBUF__FINAL.html#abc2fd1d62d6dd5f4b8e322b6de98735c">PROTOBUF_FINAL</a>
</li>
<li>mutable_lin_min()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a706b26953a0be17d33ce2d1c0e708274">PROTOBUF_FINAL</a>
</li>
<li>mutable_linear()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a073ec2c08049da85e321bd0c06a2e2c1">PROTOBUF_FINAL</a>
</li>
<li>mutable_literals()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.ht