25 static void testUnionAtPoints(PresburgerSet s, PresburgerSet t,  in testUnionAtPoints()
27   PresburgerSet unionSet = s.unionSet(t);  in testUnionAtPoints()
38 static void testIntersectAtPoints(PresburgerSet s, PresburgerSet t,  in testIntersectAtPoints()
40   PresburgerSet intersection = s.intersect(t);  in testIntersectAtPoints()
51 static void testSubtractAtPoints(PresburgerSet s, PresburgerSet t,  in testSubtractAtPoints()
53   PresburgerSet diff = s.subtract(t);  in testSubtractAtPoints()
67 static void testComplementAtPoints(PresburgerSet s,  in testComplementAtPoints()
69   PresburgerSet complement = s.complement();  in testComplementAtPoints()
99 static PresburgerSet makeSetFromFACs(unsigned dims,  in makeSetFromFACs()
101   PresburgerSet set = PresburgerSet::getEmptySet(dims);  in makeSetFromFACs()
108   PresburgerSet setA =  in TEST()
124   PresburgerSet setB =  in TEST()
152   PresburgerSet set =  in TEST()
161   testUnionAtPoints(PresburgerSet::getUniverse(1), set,  in TEST()
165   testUnionAtPoints(PresburgerSet::getEmptySet(1), set,  in TEST()
169   testUnionAtPoints(PresburgerSet::getEmptySet(1),  in TEST()
170                     PresburgerSet::getUniverse(1), {{1}, {2}, {0}, {-1}});  in TEST()
173   testUnionAtPoints(PresburgerSet::getUniverse(1),  in TEST()
174                     PresburgerSet::getEmptySet(1), {{1}, {2}, {0}, {-1}});  in TEST()
177   testUnionAtPoints(PresburgerSet::getEmptySet(1),  in TEST()
178                     PresburgerSet::getEmptySet(1), {{1}, {2}, {0}, {-1}});  in TEST()
182   PresburgerSet set =  in TEST()
191   testIntersectAtPoints(PresburgerSet::getUniverse(1), set,  in TEST()
195   testIntersectAtPoints(PresburgerSet::getEmptySet(1), set,  in TEST()
199   testIntersectAtPoints(PresburgerSet::getEmptySet(1),  in TEST()
200                         PresburgerSet::getUniverse(1), {{1}, {2}, {0}, {-1}});  in TEST()
203   testIntersectAtPoints(PresburgerSet::getUniverse(1),  in TEST()
204                         PresburgerSet::getEmptySet(1), {{1}, {2}, {0}, {-1}});  in TEST()
207   testIntersectAtPoints(PresburgerSet::getUniverse(1),  in TEST()
208                         PresburgerSet::getUniverse(1), {{1}, {2}, {0}, {-1}});  in TEST()
494       PresburgerSet::getUniverse(1),  in TEST()
499       PresburgerSet::getEmptySet(1),  in TEST()