Searched refs:PrevMap (Results 1 – 1 of 1) sorted by relevance
93 isl::map PrevMap = UMap.extract_map(Map.get_space()); in underapproximatedAddMap() local97 if (isl_map_n_basic_map(PrevMap.get()) + isl_map_n_basic_map(Map.get()) <= in underapproximatedAddMap()101 isl::map Result = isl::map::empty(PrevMap.get_space()); in underapproximatedAddMap()102 for (isl::basic_map BMap : PrevMap.get_basic_map_list()) { in underapproximatedAddMap()114 UMap.subtract(isl::map::universe(PrevMap.get_space())); in underapproximatedAddMap()