INAL.html#ae8206557fa68c3cdff563d1d7cc054c5">PROTOBUF_FINAL</a>
</li>
<li>set_assumptions()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aeaf00fd4c94e4044231f395ddf0ac13a">PROTOBUF_FINAL</a>
</li>
<li>set_best_objective_bound()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a014418b870b720fe0d79575ecf434880">PROTOBUF_FINAL</a>
</li>
<li>set_boxes_with_null_area_can_overlap()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__