orcement_literal()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#afe90915ee336db0a7230014f76ce2588">PROTOBUF_FINAL</a>
</li>
<li>set_f_direct()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a0e32dd4c902a4359fa6afefedcd36e62">PROTOBUF_FINAL</a>
</li>
<li>set_f_inverse()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#afc5daf2e908b67326e88ae91fb9c4235">PROTOBUF_FINAL</a>
</li>
<li>set_final_states()
: <a class="el