Searched defs:unionSet (Results 1 – 2 of 2) sorted by relevance
27 PresburgerSet unionSet = s.unionSet(t); in testUnionAtPoints() local
79 PresburgerSet PresburgerSet::unionSet(const PresburgerSet &set) const { in unionSet() function in PresburgerSet