Searched refs:NotEqualSet (Results 1 – 1 of 1) sorted by relevance
144 isl::set NotEqualSet = PWAC.first.ne_set(PWAMod); in checkForWrapping() local145 PWAC.second = PWAC.second.unite(NotEqualSet).coalesce(); in checkForWrapping()149 NotEqualSet = NotEqualSet.params(); in checkForWrapping()150 NotEqualSet = NotEqualSet.coalesce(); in checkForWrapping()152 if (!NotEqualSet.is_empty()) in checkForWrapping()153 recordAssumption(RecordedAssumptions, WRAPPING, NotEqualSet, Loc, in checkForWrapping()