</li>
<li>set_nexts()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a3f2cb0e10b05e5e7ef0db38655b44914">PROTOBUF_FINAL</a>
</li>
<li>set_num_binary_propagations()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a82c911917947178fe3d041bf8c8ae253">PROTOBUF_FINAL</a>
</li>
<li>set_num_booleans()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#abca832c427e9fab19e03e96b24870139">PROTOBUF_FINAL</a>
</li>
<li>set_num_bran