f="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html#afa2e8f547582fdef7e189020717f4417">  120</a></span>&#160;  <span class="keyword">public</span> <span class="keyword">final</span> <span class="keywordtype">int</span> <a class="code" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html#afa2e8f547582fdef7e189020717f4417">getNumber</a>() {</div>
<div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    <span class="keywordflow">if</span> (<span class="keyword">th