INVOKE</a>.new_Domain__SWIG_1(value), true) {</div>
<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;  }</div>
<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160; </div>
<div class="line"><a name="l00053"></a><span class="lineno"><a class="line" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a154f0cfa747f1a5fa3ec046d5c304315">   53</a></span>&#160;  <span class="keyword">public</span> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.