Searched refs:WriteActionRev (Results 1 – 1 of 1) sorted by relevance
317 isl::union_map WriteActionRev = WriteAction.reverse(); in computeReachingWrite() local321 isl::union_map(RelationMap).apply_domain(WriteActionRev); in computeReachingWrite()