Searched refs:commonDomainMatching (Results 1 – 1 of 1) sorted by relevance
168 IntegerPolyhedron commonDomainMatching = commonFunc.getDomain(); in isEqualWhereDomainsOverlap() local170 commonDomainMatching.addEquality( in isEqualWhereDomainsOverlap()175 return commonFunc.getDomain().isSubsetOf(commonDomainMatching); in isEqualWhereDomainsOverlap()