1Util_1_1Domain.html#a4d8d2d1b41195b2e491b29cf6220b78d">  117</a></span>&#160;  <span class="keyword">public</span> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html">Domain</a> <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a4d8d2d1b41195b2e491b29cf6220b78d">Complement</a>() {</div>
<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    <a class="code" href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html">Domain</a> ret = <span class="keyword