Searched refs:PrevMap (Results 1 – 1 of 1) sorted by relevance
94 isl::map PrevMap = UMap.extract_map(Map.get_space()); in underapproximatedAddMap() local98 if (unsignedFromIslSize(PrevMap.n_basic_map()) + in underapproximatedAddMap()103 isl::map Result = isl::map::empty(PrevMap.get_space()); in underapproximatedAddMap()104 for (isl::basic_map BMap : PrevMap.get_basic_map_list()) { in underapproximatedAddMap()116 UMap.subtract(isl::map::universe(PrevMap.get_space())); in underapproximatedAddMap()