classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a0221aa44405ebe70f00eaeac2a31004a">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_int_min()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab3782aaed8cca1f51a770b4408d2b442">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_int_mod()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a96dc2be4da74b4f790936dff6622ae4a">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_int_prod()
: <a class="el" href="classopera