class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9c49f41aac27b985f50e0205c845a572">PROTOBUF_FINAL</a>
</li>
<li>set_objective_value()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a71a3a7fbc5152e2ebff28db19f303fdc">PROTOBUF_FINAL</a>
</li>
<li>set_offset()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac7453c28e1da85ea4728b31419c0d6b7">PROTOBUF_FINAL</a>
</li>
<li>set_original_num_variables()
: <a class="el" href="cl