1sat_1_1PROTOBUF__FINAL.html#ad7f7bba092b3e0ea089efa93552178c2">PROTOBUF_FINAL</a>
</li>
<li>var_names_size()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a7d71d78013f83bc05711ba8bf7a60eb2">PROTOBUF_FINAL</a>
</li>
<li>variable_selection_strategy()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9088ed28116938435def15c8138a676b">PROTOBUF_FINAL</a>
</li>
<li>variables()
: <a class="el" href="classoperations__research_1_1sat_1_1LinearExpr.html#