">new</span> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a9f9601f2f55637f70394aa8eea61345a">Domain</a>(<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#a572425c4ad2c6420e37a63b443f4706e">Domain_Complement</a>(swigCPtr), <span class="keyword">true</span>);</div>
<div class="line"><a name="l00119"></a><span cla