rd">delete</span>();</div>
<div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;  }</div>
<div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160; </div>
<div class="line"><a name="l00028"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1constraintsolver_1_1IntVarLocalSearchOperator.html#a155da317e33b817886120f10038c12cf">   28</a></span>&#160;  <span class="keyword">public</span> <span class="keyword">synchronized</span> <span cl