arameters.html#a81a9493a9b3901a838d7f58b331fcb6c">SatParameters</a>
</li>
<li>RESTART_DL_AVERAGE_RATIO_FIELD_NUMBER
: <a class="el" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html#af269f5334b54f0a40bb3010bc4ca64e9">SatParameters</a>
</li>
<li>RESTART_LBD_AVERAGE_RATIO_FIELD_NUMBER
: <a class="el" href="classcom_1_1google_1_1ortools_1_1sat_1_1SatParameters.html#a098d003f3f3be22e1430a973300a6552">SatParameters</a>
</li>
<li>RESTART_PERIOD_FIELD_NUMBER
: <a class="el" href="classcom_1_1google_