el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a877082ad59a59b473b0b2ca7e04e3848">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_circuit()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad97cfbf092cc4f431384c8d661dd30ac">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_circuit_covering()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a23163dd944165cc0d4a5f11e1a672aad">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_cumulative()
: <a class=