begin()
: <a class="el" href="classoperations__research_1_1Domain.html#acb4a7c1b2dac67c017eab67ec7859f0c">Domain</a>
, <a class="el" href="classoperations__research_1_1SortedDisjointIntervalList.html#ad5fee900c7aee90671038c79225bf8ec">SortedDisjointIntervalList</a>
</li>
<li>best_objective_bound()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a084d42f2437a4d0666990dc4681e68ec">PROTOBUF_FINAL</a>
</li>
<li>bool_and()
: <a class="el" href="classoperations__research_1_1sat_1_1P