Lines Matching refs:getSpace

55   assert(space.isEqual(other.getSpace()) && "Spaces must be equal.");  in append()
77   assert(space.isCompatible(other.getSpace()) && "Spaces must be compatible.");  in isEqual()
82   assert(space.isCompatible(other.getSpace()) && "Spaces must be compatible.");  in isSubsetOf()
145   return {getSpace(), getNumInequalities(), getNumEqualities()};  in getCounts()
156   truncateVarKind(kind, counts.getSpace().getNumVarKind(kind));  in truncateVarKind()
223   PresburgerSpace space = getSpace();  in computeReprWithOnlyDivLocals()
1795   PresburgerSpace newSpace = getSpace();  in fourierMotzkinEliminate()
1953   c = IntegerRelation(a.getSpace());  in getCommonConstraints()
1977   assert(space.isEqual(otherCst.getSpace()) && "Spaces should match.");  in unionBoundingBox()
2168   assert(getDomainSet().getSpace().isCompatible(poly.getSpace()) &&  in intersectDomain()
2184   assert(getRangeSet().getSpace().isCompatible(poly.getSpace()) &&  in intersectRange()
2204   assert(getRangeSet().getSpace().isCompatible(rel.getDomainSet().getSpace()) &&  in compose()