Searched refs:RelationMap (Results 1 – 1 of 1) sorted by relevance
318 isl::map RelationMap = Relation.range_map().reverse(); in computeReachingWrite() local328 isl::union_map(RelationMap).apply_domain(WriteActionRev); in computeReachingWrite()