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