html#a154f0cfa747f1a5fa3ec046d5c304315">Domain</a>(<span class="keywordtype">long</span> left, <span class="keywordtype">long</span> right) : this(<a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1operations__research__utilPINVOKE.html">operations_research_utilPINVOKE</a>.new_Domain__SWIG_2(left, right), true) {</div>
<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;  }</div>
<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160; </div>
<div class="