21   unionInPlace(disjunct);  in PresburgerRelation()
46 void PresburgerRelation::unionInPlace(const IntegerRelation &disjunct) {  in unionInPlace()  function in PresburgerRelation
55 void PresburgerRelation::unionInPlace(const PresburgerRelation &set) {  in unionInPlace()  function in PresburgerRelation
58     unionInPlace(disjunct);  in unionInPlace()
66   result.unionInPlace(set);  in unionSet()
80   result.unionInPlace(IntegerRelation::getUniverse(space));  in getUniverse()
104         result.unionInPlace(intersection);  in intersect()
146     result.unionInPlace(disjunct.computeReprWithOnlyDivLocals());  in computeReprWithOnlyDivLocals()
225       result.unionInPlace(b);  in getSetDifference()
438     result.unionInPlace(getSetDifference(disjunct, set));  in subtract()
626     newSet.unionInPlace(disjuncts[i]);  in coalesce()
833   result.unionInPlace(IntegerPolyhedron::getUniverse(space));  in getUniverse()