tml#a4422e344178071198054eff604eea3d2">PROTOBUF_FINAL</a>
</li>
<li>MergeWithGlobalTimeLimit()
: <a class="el" href="classoperations__research_1_1TimeLimit.html#ad0cdf04d71ac4f14262eb4871041ddbd">TimeLimit</a>
</li>
<li>Min()
: <a class="el" href="classoperations__research_1_1Domain.html#a53e9735282c0bf0769962bd1b6a643bc">Domain</a>
</li>
<li>min_level()
: <a class="el" href="classoperations__research_1_1sat_1_1PROTOBUF__FINAL.html#a6d84837d23d2507e6933e93fcfca8b1e">PROTOBUF_FINAL</a>
</li>
<li>Minimize()
: