<span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProtoOrBuilder.html#a74098dbfd4ab51d225277693cbf9fe68">   43</a></span>&#160;  <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProtoOrBuilder.html#a74098dbfd4ab51d225277693cbf9fe68">getVariables</a>(<span class="keywordtype">int</span> index);</div>
<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160; </div>
<d