Lines Matching defs:unionInPlace

31   unionInPlace(disjunct);
80 void PresburgerRelation::unionInPlace(const IntegerRelation &disjunct) {
89 void PresburgerRelation::unionInPlace(const PresburgerRelation &set) {
110     unionInPlace(disjunct);
118   result.unionInPlace(set);
132   result.unionInPlace(IntegerRelation::getUniverse(space));
164         result.unionInPlace(intersection);
194     result.unionInPlace(cs.getDomainSet());
201     result.unionInPlace(cs.getRangeSet());
226         result.unionInPlace(composition);
309     result.unionInPlace(disjunct.computeReprWithOnlyDivLocals());
397       result.unionInPlace(b);
616     result.unionInPlace(getSetDifference(disjunct, set));
843     newSet.unionInPlace(disjunct);
1041       result.unionInPlace(disjunct);
1064   result.unionInPlace(IntegerPolyhedron::getUniverse(space));