" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a418873cbd77129ea83efd22b391be2b3">PROTOBUF_FINAL</a>
</li>
<li>mutable_var_names()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#afe2c183bff21ba69e1956320578e1193">PROTOBUF_FINAL</a>
</li>
<li>mutable_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a87c29fc0bd023db6b5ad4440c0f33805">PROTOBUF_FINAL</a>
</li>
<li>mutable_vars()
: <a class="el" href="classoperations__res