"el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ade7a9393c23d517710bb7648520cadce">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_element()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a51908d6c73001035a715a5b6f1b4c41a">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_int_div()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a7147ecc4bcf3373b5fdbb892de3312f9">PROTOBUF_FINAL</a>
</li>
<li>set_allocated_int_max()
: <a class="el" href="