 class="keyword">static</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>(<span class="keywordtype">int</span> value) {</div>
<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    <span class="keywordflow">switch</span> (value) {</div>
<div class="line"><a name="l00144"></a><span class="lineno">