8640ec6a6ae3affcb80ab0f5cc68b">PROTOBUF_FINAL</a>
</li>
<li>mutable_element()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a85f9e6c164d4dbd62498aa5d5002d5f1">PROTOBUF_FINAL</a>
</li>
<li>mutable_enforcement_literal()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ad28063490babca3367be33b25f5db453">PROTOBUF_FINAL</a>
</li>
<li>mutable_exprs()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a45b5f9b2c1676d953466d3