>solution_upper_bounds()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#af6797052f937bf09539e9357751a9665">PROTOBUF_FINAL</a>
</li>
<li>solution_upper_bounds_size()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a47c71890f743188dc922d9283c8f5639">PROTOBUF_FINAL</a>
</li>
<li>SortedDisjointIntervalList()
: <a class="el" href="classoperations__research_1_1SortedDisjointIntervalList.html#a355e07de7253f8b18c33e0aa6b977755">SortedDisjointIntervalLis