v>
<div class="line"><a name="l00097"></a><span class="lineno"><a class="line" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a925698fef52feb70dd9c917e360a850e">   97</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#a925698fef52feb70dd9c917e360a850e">Size</a>() {</div>
<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;    <span class="keywordtype">long</span> ret = 