1_1sat_1_1DecisionStrategyProtoOrBuilder.html#a0c70d727c248d81a2eb397f54cc537d7">com.google.ortools.sat.DecisionStrategyProtoOrBuilder.getDomainReductionStrategy</a></div><div class="ttdeci">com.google.ortools.sat.DecisionStrategyProto.DomainReductionStrategy getDomainReductionStrategy()</div><div class="ttdoc">.operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;</div></div>
        </div>
        </div>
        <div id="footer-container">
            <div id