39a0f7b7aec3c48a4cef3a4a54e5d5">Domain</a>
</li>
<li>Mutable()
: <a class="el" href="classoperations__research_1_1sat_1_1Model.html#ac779eb15f8e4162692d13c584426d693">Model</a>
</li>
<li>mutable_actives()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9377a10955a90a6bcbdc906b720c88ad">PROTOBUF_FINAL</a>
</li>
<li>mutable_all_diff()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#af408b617156137917291772108adf991">PROTOBUF_FINAL</a>
</li>
<li>mu