iv>
<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160; </div>
<div class="line"><a name="l00102"></a><span class="lineno"><a class="line" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#ad132aa17bd7af00f0e9e47e88131b1e8">  102</a></span>&#160;  <span class="keyword">public</span> <span class="keywordtype">long</span> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#ad132aa17bd7af00f0e9e47e88131b1e8">Min</a>() {</div>
<div class="line"><a name="l00103"></a><