gle_1_1OrTools_1_1Util_1_1Domain.html#a1b40a2658f30f8466f310ceea310afb5">   34</a></span>&#160;  <span class="keyword">public</span> <span class="keyword">virtual</span> <span class="keywordtype">void</span> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a1b40a2658f30f8466f310ceea310afb5">Dispose</a>() {</div>
<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;    lock(<span class="keyword">this</span>) {</div>
<div class="line"><a name="l00036"></a><span clas