</a>
</li>
<li>solution_lower_bounds()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a5ec1876c5e316e4b44b19db32c88d23d">PROTOBUF_FINAL</a>
</li>
<li>solution_lower_bounds_size()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a98bbfb6489e312fbedd99bb10f7695e0">PROTOBUF_FINAL</a>
</li>
<li>solution_size()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a4b6c78ce9ae112cc350427c1f4adbffe">PROTOBUF_FINAL</a>
</li>
<li