operations__research_1_1sat_1_1PROTOBUF__FINAL.html#afa332f33c14ce43428f87a4b345d422b">PROTOBUF_FINAL</a>
</li>
<li>mutable_circuit()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad6c8c1b3537a045b66a7ecf738fa13bd">PROTOBUF_FINAL</a>
</li>
<li>mutable_circuit_covering()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a751b2acce2e47eb575997527092e2a9e">PROTOBUF_FINAL</a>
</li>
<li>mutable_coefficients()
: <a class="el" href="classoperations__res