</li>
<li>VariableSelectionStrategy_ARRAYSIZE
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a1763fdf689a62e2dcf681d37148cbaaf">PROTOBUF_FINAL</a>
</li>
<li>VariableSelectionStrategy_descriptor()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac42ea6762fd7eaa5a6a2a9b1e4f63996">PROTOBUF_FINAL</a>
</li>
<li>VariableSelectionStrategy_IsValid()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a517fd4c465f4d4f89065a1b4a