"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#a590613380f18e648db778a4a073bdd95">Domain_Negation</a>(swigCPtr), <span class="keyword">true</span>);</div>
<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    <span class="keywordflow">return</span> ret;</div>
<div class="line"><a name="l00125"></a><span class="lineno">  125