Searched refs:unionSet (Results 1 – 5 of 5) sorted by relevance
31 PresburgerSet unionSet = s.unionSet(t); in testUnionAtPoints() local35 bool inUnion = unionSet.containsPoint(point); in testUnionAtPoints()393 EXPECT_TRUE(universe.unionSet(emptySet).isEqual(universe)); in TEST()395 EXPECT_TRUE(universe.unionSet(universe).isEqual(universe)); in TEST()397 EXPECT_TRUE(emptySet.unionSet(emptySet).isEqual(emptySet)); in TEST()399 EXPECT_FALSE(universe.unionSet(emptySet).isEqual(emptySet)); in TEST()412 EXPECT_FALSE(set.unionSet(set.complement()).isEqual(set)); in TEST()414 EXPECT_FALSE(set.isEqual(set.unionSet(set.complement()))); in TEST()456 expectEqual(evens.unionSet(odds), in TEST()500 expectEqual(evens.unionSet(odds), in TEST()[all …]
17 [mutable unionSet:set];19 [mutable unionSet:set];
80 PresburgerRelation unionSet(const PresburgerRelation &set) const;172 PresburgerSet unionSet(const PresburgerRelation &set) const;
63 PresburgerRelation::unionSet(const PresburgerRelation &set) const { in unionSet() function in PresburgerRelation847 PresburgerSet PresburgerSet::unionSet(const PresburgerRelation &set) const { in unionSet() function in PresburgerSet848 return PresburgerSet(PresburgerRelation::unionSet(set)); in unionSet()
219 lexminResult.lexmin.getDomain().unionSet(lexminResult.unboundedDomain); in computeReprWithOnlyDivLocals()