<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160; </div>
<div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;}</div>
</div><!-- fragment --></div><!-- contents -->
<div class="ttc" id="aclassGoogle_1_1OrTools_1_1Util_1_1Domain_html_a99f401d076ce2277855769d8a9be38eb"><div class="ttname"><a href="classGoogle_1_1OrTools_1_1Util_1_1Domain.html#a99f401d076ce2277855769d8a9be38eb">Google.OrTools.Util.Domain.Negation</a></div><div class="ttdeci">Domain Negation