Lines Matching refs:unionSet
31 PresburgerSet unionSet = s.unionSet(t); in testUnionAtPoints() local
35 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()
401 EXPECT_FALSE(universe.unionSet(universe).isEqual(emptySet)); in TEST()
403 EXPECT_FALSE(emptySet.unionSet(emptySet).isEqual(universe)); in TEST()
410 EXPECT_TRUE(set.unionSet(set.complement()).isEqual(universe)); in TEST()
412 EXPECT_FALSE(set.unionSet(set.complement()).isEqual(set)); in TEST()
414 EXPECT_FALSE(set.isEqual(set.unionSet(set.complement()))); in TEST()
422 PresburgerSet universeRect = square.unionSet(square.complement()); in TEST()
423 PresburgerSet universeSquare = rect.unionSet(rect.complement()); in TEST()
456 expectEqual(evens.unionSet(odds), in TEST()
500 expectEqual(evens.unionSet(odds), in TEST()
815 expectComputedVolumeIsValidOverapprox(diamond.unionSet(shiftedDiamond), in TEST()
821 diamond.unionSet(shiftedDiamond).unionSet(biggerDiamond), in TEST()
831 expectComputedVolumeIsValidOverapprox(unbounded.unionSet(diamond), in TEST()