="line"><a name="l00046"></a><span class="lineno">   46</span>&#160; </div>
<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;  @Override</div>
<div class="line"><a name="l00048"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntervalVar.html#ad146fa8579a5f8a876c4688cc5a68520">   48</a></span>&#160;  <span class="keyword">public</span> String <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntervalVar.html#ad146fa8579a5f8a876c