>
<div class="line"><a name="l00050"></a><span class="lineno"><a class="line" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a3b0c688c8580d07c0b67fdc9d42d23be">   50</a></span>&#160;  <span class="keyword">public</span> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a3b0c688c8580d07c0b67fdc9d42d23be">Domain</a>(<span class="keywordtype">long</span> value) : this(<a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1operations__research__utilPINVOKE.html">operations_research_utilP