_FINAL</a>
</li>
<li>set_domain()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac20e43676899f3e4be9cf8b2eeb9ed99">PROTOBUF_FINAL</a>
</li>
<li>set_domain_reduction_strategy()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ade45633e4aadb2efc557388046f4be59">PROTOBUF_FINAL</a>
</li>
<li>set_end()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#afd3e7ac4df984d62ea752e6ac66bddff">PROTOBUF_FINAL</a>
</li>
<li>set_enf