1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html#a73c655e811e7744a77b5b1bf83f46906">  134</a></span>&#160;  <span class="keyword">public</span> <span 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#a73c655e811e7744a77b5b1bf83f46906">valueOf</a>(<span class="keywordtype">int</span> value) {</div>
<div class="line"><a name="l00135"></a><span clas