s="lineno">  135</span>&#160;    <span class="keywordflow">return</span> forNumber(value);</div>
<div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;  }</div>
<div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160; </div>
<div class="line"><a name="l00142"></a><span class="lineno"><a class="line" href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html#a21107066192790fd155be95fcb475a98">  142</a></span>&#160;  <span class="keyword">public</span> <span