Searched refs:getDomainSet (Results 1 – 6 of 6) sorted by relevance
31 IntegerPolyhedron domainSet = rel.getDomainSet(); in TEST()
620 FlatAffineValueConstraints srcDomain = srcRel.getDomainSet(); in checkMemrefAccessDependence()621 FlatAffineValueConstraints dstDomain = dstRel.getDomainSet(); in checkMemrefAccessDependence()
1618 FlatAffineValueConstraints FlatAffineRelation::getDomainSet() const { in getDomainSet() function in FlatAffineRelation
526 IntegerPolyhedron getDomainSet() const;
541 FlatAffineValueConstraints getDomainSet() const;
2140 IntegerPolyhedron IntegerRelation::getDomainSet() const { in getDomainSet() function in IntegerRelation2168 assert(getDomainSet().getSpace().isCompatible(poly.getSpace()) && in intersectDomain()2204 assert(getRangeSet().getSpace().isCompatible(rel.getDomainSet().getSpace()) && in compose()