lineno">   60</span>&#160;  }</div>
<div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160; </div>
<div class="line"><a name="l00063"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntervalVar.html#a78ee178b6a73658d65ca60da4d1e6683">   63</a></span>&#160;  <span class="keyword">public</span> String <a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1IntervalVar.html#a78ee178b6a73658d65ca60da4d1e6683">getName</a>() {</div>
<div class="l