i>set_use_all_possible_disjunctions()
: <a class="el" href="classoperations__research_1_1PROTOBUF__FINAL.html#a4afb62fa666c581318cc33546e7bb780">PROTOBUF_FINAL</a>
</li>
<li>set_use_cp()
: <a class="el" href="classoperations__research_1_1PROTOBUF__FINAL.html#afff24659f443a994325ddf0fd9070866">PROTOBUF_FINAL</a>
</li>
<li>set_use_cp_sat()
: <a class="el" href="classoperations__research_1_1PROTOBUF__FINAL.html#abed4ab0c849c6035d539bc21366ce534">PROTOBUF_FINAL</a>
</li>
<li>set_use_cross()
: <a class="el" href