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