StrategyProto_1_1DomainReductionStrategy.html">DomainReductionStrategy</a> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProtoOrBuilder.html#a0c70d727c248d81a2eb397f54cc537d7">getDomainReductionStrategy</a>();</div>
<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160; </div>
<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;  java.util.List&lt;<a class="code" href="namespacecom.html">com</a>.<a class="code" href="names