aa205e27952313e508942">PROTOBUF_FINAL</a>
</li>
<li>set_min_level()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a6e50a045775e5407d7fb667b1919c362">PROTOBUF_FINAL</a>
</li>
<li>set_name()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a336315ca9f7f163ce71f854c1d331abd">PROTOBUF_FINAL</a>
</li>
<li>set_negated()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aaf485aceb0bfa50506ce538a438df137">PROTOBUF_FINAL</a>
