FINAL</a>
</li>
<li>mutable_heads()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4c04aedad81847129ba0687901aaa706">PROTOBUF_FINAL</a>
</li>
<li>mutable_int_div()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#abeb31cee07d294070e1ac0c3c2090dbb">PROTOBUF_FINAL</a>
</li>
<li>mutable_int_max()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a21bb5066d920fc16601198c03e1cec00">PROTOBUF_FINAL</a>
</li>
<li>mutable_int