pan class="lineno">  161</span>&#160;            <span class="keywordflow">return</span> <a class="code" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">CpSolverStatus</a>.<a class="code" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html#a21107066192790fd155be95fcb475a98">forNumber</a>(number);</div>
<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;          }</div>
<div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;   