span>&#160;  <span class="keyword">public</span> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a9f9601f2f55637f70394aa8eea61345a">Domain</a>() : this(<a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1operations__research__utilPINVOKE.html">operations_research_utilPINVOKE</a>.new_Domain__SWIG_0(), true) {</div>
<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;  }</div>
<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160; </div