aa96427ca5156644ef61e4ffec3ea4083">LinearExpr</a>
, <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac32c7a02ee5646ae292cdd7936a820f1">PROTOBUF_FINAL</a>
</li>
<li>variables_size()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#abef5f55c3278c137faca92b8e433f8ea">PROTOBUF_FINAL</a>
</li>
<li>VariableSelectionStrategy
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4b4b83c82f89c88dc6d92fc1f13fef47">PROTOBUF_FINAL</a>
