<a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1operations__research__utilPINVOKE.html">operations_research_utilPINVOKE</a>.<a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1operations__research__utilPINVOKE.html#a4389007315f49c4f8abae04c6b5881f7">Domain_Size</a>(swigCPtr);</div>
<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;    <span class="keywordflow">return</span> ret;</div>
<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;  }</d