Searched refs:BoundedParts (Results 1 – 1 of 1) sorted by relevance
215 isl::set BoundedParts = isl::set::empty(S.get_space()); in collectBoundedParts() local218 BoundedParts = BoundedParts.unite(isl::set(BSet)); in collectBoundedParts()219 return BoundedParts; in collectBoundedParts()251 isl::set BoundedParts = collectBoundedParts(OnlyDimS); in partitionSetParts() local254 BoundedParts = in partitionSetParts()255 BoundedParts.insert_dims(isl::dim::set, Dim + 1, NumDimsS - Dim - 1); in partitionSetParts()258 BoundedParts = BoundedParts.remove_dims(isl::dim::param, 0, Dim); in partitionSetParts()260 isl::set UnboundedParts = S.subtract(BoundedParts); in partitionSetParts()261 return std::make_pair(UnboundedParts, BoundedParts); in partitionSetParts()