
<li>IntervalSet
: <a class="el" href="classoperations__research_1_1SortedDisjointIntervalList.html#aa352f1028f02e91e2df1a7fd8e5d8e11">SortedDisjointIntervalList</a>
</li>
<li>Iterator
: <a class="el" href="classoperations__research_1_1SortedDisjointIntervalList.html#a887fa442455fd18cac74b3039e442aeb">SortedDisjointIntervalList</a>
</li>
<li>VariableSelectionStrategy
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4b4b83c82f89c88dc6d92fc1f13fef47">PROTOBUF_FINAL</a>
</li>
</u