2e02ad4">PROTOBUF_FINAL</a>
</li>
<li>VariableSelectionStrategy_MAX
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4046ecd0f13ace5a1f0fb2533b6de142">PROTOBUF_FINAL</a>
</li>
<li>VariableSelectionStrategy_MIN
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab2332b9ff6ffe5993bccfe3ace0d921d">PROTOBUF_FINAL</a>
</li>
<li>VariableSelectionStrategy_Name()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac105cad5389e822