an class="lineno">   53</span>&#160; </div>
<div class="line"><a name="l00054"></a><span class="lineno"><a class="line" href="classcom_1_1google_1_1ortools_1_1constraintsolver_1_1IntVarLocalSearchOperator.html#aa9d1112ec8418e1679ae4785c3862ffd">   54</a></span>&#160;  <span class="keyword">public</span> <a class="code" href="classcom_1_1google_1_1ortools_1_1constraintsolver_1_1IntVarLocalSearchOperator.html#aa9d1112ec8418e1679ae4785c3862ffd">IntVarLocalSearchOperator</a>() {</div>
<div class="line"><a name=