_min()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#acb6402fe0458966e9b7e7bbedde7b439">PROTOBUF_FINAL</a>
</li>
<li>mutable_int_mod()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a2e7d0b0933d88a232fa7cf35ad73abd1">PROTOBUF_FINAL</a>
</li>
<li>mutable_int_prod()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a2ad04afe0a5f2663e4dd822b78237f0b">PROTOBUF_FINAL</a>
</li>
<li>mutable_interval()
: <a class="el" href