ml#ac50fdf33670639b700b9f579a54a2ff6">PROTOBUF_FINAL</a>
</li>
<li>mutable_name()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4919374a2378e7a367dccff2b4b74c6b">PROTOBUF_FINAL</a>
</li>
<li>mutable_nexts()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a931e0dbac40ffe1c56c64a38130210cf">PROTOBUF_FINAL</a>
</li>
<li>mutable_no_overlap()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a8ac39b7a3d6452c1b2d299ed30f