terfacecom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProtoOrBuilder.html#a729fa822711253b6b5f8b77214be9440">   60</a></span>&#160;  <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProtoOrBuilder.html#a729fa822711253b6b5f8b77214be9440">getDomainReductionStrategyValue</a>();</div>
<div class="line"><a name="l00065"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProtoOrBuilder