/li>
<li>mutable_tails()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a68fa9531c43ca03b5e38f62f4fd94bdd">PROTOBUF_FINAL</a>
</li>
<li>mutable_target()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a6980b72516e93547d0b4eaf268e4071d">PROTOBUF_FINAL</a>
</li>
<li>mutable_tightened_variables()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a3678a68e1b508c12d05ef754c824a7c3">PROTOBUF_FINAL</a>
</li>
<li>mutable_tim