class="lineno">  203</span>&#160;}</div>
<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160; </div>
</div><!-- fragment --></div><!-- contents -->
<div class="ttc" id="aenumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus_html_afa2e8f547582fdef7e189020717f4417"><div class="ttname"><a href="enumcom_1_1google_1_1ortools_1_1sat_1_1CpSolverStatus.html#afa2e8f547582fdef7e189020717f4417">com.google.ortools.sat.CpSolverStatus.getNumber</a></div><div class="ttdeci">final int getNumber()<