assoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a76e70b61e7d7ff843bc66c8a14f017a8">PROTOBUF_FINAL</a>
</li>
<li>set_positive_coeff()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aa87b9dca0aa886c5a96c51d6473c0f27">PROTOBUF_FINAL</a>
</li>
<li>set_primal_integral()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ada280373dce092f67fbfbe6ffdd2b2d4">PROTOBUF_FINAL</a>
</li>
<li>set_scaling_factor()
: <a class="el" href="classoperations__rese