F__FINAL.html#a2bd5b094979f4dc3488311ded66ca4c2">PROTOBUF_FINAL</a>
</li>
<li>mutable_demands()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9a3421e7a921dbdb3424e1a5a97af2a6">PROTOBUF_FINAL</a>
</li>
<li>mutable_distinguished_nodes()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ab75379fd952c75f01f1581fcb547785f">PROTOBUF_FINAL</a>
</li>
<li>mutable_domain()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#afb1