Searched refs:BoundedParts (Results 1 – 1 of 1) sorted by relevance
219 isl::set BoundedParts = isl::set::empty(S.get_space()); in collectBoundedParts() local222 BoundedParts = BoundedParts.unite(isl::set(BSet)); in collectBoundedParts()223 return BoundedParts; in collectBoundedParts()255 isl::set BoundedParts = collectBoundedParts(OnlyDimS); in partitionSetParts() local258 BoundedParts = in partitionSetParts()259 BoundedParts.insert_dims(isl::dim::set, Dim + 1, NumDimsS - Dim - 1); in partitionSetParts()262 BoundedParts = BoundedParts.remove_dims(isl::dim::param, 0, Dim); in partitionSetParts()264 isl::set UnboundedParts = S.subtract(BoundedParts); in partitionSetParts()265 return std::make_pair(UnboundedParts, BoundedParts); in partitionSetParts()