eno">  196</span>&#160;  <span class="keyword">private</span> <span class="keyword">final</span> <span class="keywordtype">int</span> value;</div>
<div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160; </div>
<div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;  <span class="keyword">private</span> <a class="code" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html">CpSolverStatus</a>(<span class="keywordtype">int</span> value) {</div>
<div clas