ROTOBUF__FINAL.html#ad977faac73af4376e77f16e7334d4673">PROTOBUF_FINAL</a>
</li>
<li>set_vars()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a7122a1b5e0cfa809e71e6a4669babc32">PROTOBUF_FINAL</a>
</li>
<li>set_wall_time()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#ae1fc6638d8c9966768e5ebe01a3ae826">PROTOBUF_FINAL</a>
</li>
<li>set_x_intervals()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a427205183ee11401b