s="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;    this.value = value;</div>
<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;  }</div>
<div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160; </div>
<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;  <span class="comment">// @@protoc_insertion_point(enum_scope:operations_research.sat.CpSolverStatus)</span></div>
<div class="line"><a name="l00203"></a><span 