4320e2edb984b08a5">PROTOBUF_FINAL</a>
</li>
<li>set_starting_state()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4290e4a16ab8557489049ab8509de9ef">PROTOBUF_FINAL</a>
</li>
<li>set_status()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a6aa6a7f94ef5e2b8b93abb50a9951066">PROTOBUF_FINAL</a>
</li>
<li>set_sufficient_assumptions_for_infeasibility()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#aa7922c19e8882f501