2d8143bb0a7">PROTOBUF_FINAL</a>
</li>
<li>BooleanAssignment()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a3adb2b4e1b3250e209745e40e8264ebd">PROTOBUF_FINAL</a>
</li>
<li>BooleanScalProd()
: <a class="el" href="classoperations__research_1_1sat_1_1LinearExpr.html#a811ab20e65e9e2a3062c4f367ecccbfb">LinearExpr</a>
</li>
<li>BooleanSum()
: <a class="el" href="classoperations__research_1_1sat_1_1LinearExpr.html#aa87921d8ff0a1fe8f40b50900433997a">LinearExpr</a>
</li>
<li>BoolVar(