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