earch_1_1sat_1_1PROTOBUF__FINAL.html#a41152379fe192a94dd27ff6d994b6602">PROTOBUF_FINAL</a>
</li>
<li>set_var_names()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ae67fef07473581947996f2845ee2b56b">PROTOBUF_FINAL</a>
</li>
<li>set_variable_selection_strategy()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a62fe79346083e7c84f14d0564ee7d6d7">PROTOBUF_FINAL</a>
</li>
<li>set_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1P