Searched refs:AccRelUniv (Results 1 – 1 of 1) sorted by relevance
274 isl::map AccRelUniv = isl::map::universe(AccRel.get_space()); in removeOverwrites() local275 WillBeOverwritten = WillBeOverwritten.subtract(AccRelUniv); in removeOverwrites()561 isl::set AccRelUniv = isl::set::universe(AccRelWrapped.get_space()); in removeRedundantWrites() local562 Known = Known.subtract_domain(AccRelUniv); in removeRedundantWrites()