Searched refs:testUnionAtPoints (Results 1 – 1 of 1) sorted by relevance
29 static void testUnionAtPoints(const PresburgerSet &s, const PresburgerSet &t, in testUnionAtPoints() function139 testUnionAtPoints(PresburgerSet::getUniverse(PresburgerSpace::getSetSpace(1)), in TEST()143 testUnionAtPoints(PresburgerSet::getEmpty(PresburgerSpace::getSetSpace(1)), in TEST()147 testUnionAtPoints(PresburgerSet::getEmpty(PresburgerSpace::getSetSpace(1)), in TEST()152 testUnionAtPoints(PresburgerSet::getUniverse(PresburgerSpace::getSetSpace(1)), in TEST()157 testUnionAtPoints(PresburgerSet::getEmpty(PresburgerSpace::getSetSpace((1))), in TEST()