="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a56ad9be21780a37819514c2a91f1e06c">PROTOBUF_FINAL</a>
</li>
<li>mutable_intervals()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4e0e25ef71051dc48d8ab208293c949e">PROTOBUF_FINAL</a>
</li>
<li>mutable_inverse()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a80970ab07d312851c191e67db0bf279e">PROTOBUF_FINAL</a>
</li>
<li>mutable_lin_max()
: <a class="el" href="classoperations__research