: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a609c44c863149705952508c66809f43b">PROTOBUF_FINAL</a>
</li>
<li>mutable_bool_and()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ac85ab8cfff2d8cd8d4ec83f587e39717">PROTOBUF_FINAL</a>
</li>
<li>mutable_bool_or()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aeb4b496a4e92ab705d77b026a51fe5c9">PROTOBUF_FINAL</a>
</li>
<li>mutable_bool_xor()
: <a class="el" href="class