47   assert(space.isCompatible(disjunct.getSpace()) && "Spaces should match");  in unionInPlace()
56   assert(space.isCompatible(set.getSpace()) && "Spaces should match");  in unionInPlace()
64   assert(space.isCompatible(set.getSpace()) && "Spaces should match");  in unionSet()
97   assert(space.isCompatible(set.getSpace()) && "Spaces should match");  in intersect()
99   PresburgerRelation result(getSpace());  in intersect()
144   PresburgerRelation result(getSpace());  in computeReprWithOnlyDivLocals()
184   assert(b.getSpace().isCompatible(s.getSpace()) && "Spaces should match");  in getSetDifference()
263       for (unsigned i = initBCounts.getSpace().getNumLocalVars(),  in getSetDifference()
312           b.getNumLocalVars() - initBCounts.getSpace().getNumLocalVars();  in getSetDifference()
427   return getSetDifference(IntegerRelation::getUniverse(getSpace()), *this);  in complement()
434   assert(space.isCompatible(set.getSpace()) && "Spaces should match");  in subtract()
435   PresburgerRelation result(getSpace());  in subtract()
451   assert(space.isCompatible(set.getSpace()) && "Spaces should match");  in isEqual()
573 SetCoalescer::SetCoalescer(const PresburgerRelation &s) : space(s.getSpace()) {  in SetCoalescer()
703   IntegerRelation newSet(disjunct.getSpace());  in coalescePairCutCase()