09de431bc7fcd95">getVariablesList</a>();</div>
<div class="line"><a name="l00031"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProtoOrBuilder.html#a011585ec9c8d9882de1b5278fe028ede">   31</a></span>&#160;  <span class="keywordtype">int</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProtoOrBuilder.html#a011585ec9c8d9882de1b5278fe028ede">getVariablesCount</a>();</div>
<div class="line"><a name="l00043"></a>