(int index)</div></div>
<div class="ttc" id="aenumcom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProto_1_1DomainReductionStrategy_html"><div class="ttname"><a href="enumcom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProto_1_1DomainReductionStrategy.html">com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy</a></div><div class="ttdef"><b>Definition:</b> <a href="DecisionStrategyProto_8java_source.html#l00291">DecisionStrategyProto.java:292</a></div></div>
<div class="ttc" id="ainterfa