Searched refs:AccRelUniv (Results 1 – 1 of 1) sorted by relevance
184 isl::map AccRelUniv = isl::map::universe(AccRel.get_space()); in removeOverwrites() local185 WillBeOverwritten = WillBeOverwritten.subtract(AccRelUniv); in removeOverwrites()471 isl::set AccRelUniv = isl::set::universe(AccRelWrapped.get_space()); in removeRedundantWrites() local472 Known = Known.subtract_domain(AccRelUniv); in removeRedundantWrites()