1PROTOBUF__FINAL.html#ad4a8c543adbca0fac330a4474f7537d2">PROTOBUF_FINAL</a>
</li>
<li>set_literals()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a9193927d79de018fddced78664bf54ed">PROTOBUF_FINAL</a>
</li>
<li>set_lower_bound()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a7bfd395572164d0db0b65e1f0c3e0f70">PROTOBUF_FINAL</a>
</li>
<li>set_max_level()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a1cb6cd47b17