Lines Matching refs:bset
61 __isl_keep const isl_basic_set *bset) in const_bset_to_bmap() argument
63 return (const isl_basic_map *) bset; in const_bset_to_bmap()
147 isl_size isl_basic_set_var_offset(__isl_keep isl_basic_set *bset, in isl_basic_set_var_offset() argument
150 return isl_basic_map_var_offset(bset_to_bmap(bset), type); in isl_basic_set_var_offset()
169 unsigned isl_basic_set_offset(__isl_keep isl_basic_set *bset, in isl_basic_set_offset() argument
172 return isl_basic_map_offset(bset, type); in isl_basic_set_offset()
180 isl_size isl_basic_set_dim(__isl_keep isl_basic_set *bset, in isl_basic_set_dim() argument
183 return isl_basic_map_dim(bset, type); in isl_basic_set_dim()
186 isl_size isl_basic_set_n_dim(__isl_keep isl_basic_set *bset) in isl_basic_set_n_dim() argument
188 return isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_n_dim()
191 isl_size isl_basic_set_n_param(__isl_keep isl_basic_set *bset) in isl_basic_set_n_param() argument
193 return isl_basic_set_dim(bset, isl_dim_param); in isl_basic_set_n_param()
196 isl_size isl_basic_set_total_dim(__isl_keep const isl_basic_set *bset) in isl_basic_set_total_dim() argument
198 return isl_basic_map_total_dim(const_bset_to_bmap(bset)); in isl_basic_set_total_dim()
236 isl_size isl_basic_set_n_equality(__isl_keep isl_basic_set *bset) in isl_basic_set_n_equality() argument
238 return isl_basic_map_n_equality(bset_to_bmap(bset)); in isl_basic_set_n_equality()
254 isl_size isl_basic_set_n_inequality(__isl_keep isl_basic_set *bset) in isl_basic_set_n_inequality() argument
256 return isl_basic_map_n_inequality(bset_to_bmap(bset)); in isl_basic_set_n_inequality()
294 enum isl_dim_type type, __isl_keep isl_basic_set *bset) in isl_basic_map_set_tuple_is_equal() argument
299 bset_space = isl_basic_set_peek_space(bset); in isl_basic_map_set_tuple_is_equal()
325 __isl_keep isl_basic_set *bset) in isl_basic_map_compatible_domain() argument
328 if (!bmap || !bset) in isl_basic_map_compatible_domain()
330 m = isl_basic_map_has_equal_params(bmap, bset_to_bmap(bset)); in isl_basic_map_compatible_domain()
333 return isl_basic_map_set_tuple_is_equal(bmap, isl_dim_in, bset); in isl_basic_map_compatible_domain()
349 __isl_keep isl_basic_set *bset) in isl_basic_map_compatible_range() argument
352 if (!bmap || !bset) in isl_basic_map_compatible_range()
354 m = isl_basic_map_has_equal_params(bmap, bset_to_bmap(bset)); in isl_basic_map_compatible_range()
357 return isl_basic_map_set_tuple_is_equal(bmap, isl_dim_out, bset); in isl_basic_map_compatible_range()
365 isl_ctx *isl_basic_set_get_ctx(__isl_keep isl_basic_set *bset) in isl_basic_set_get_ctx() argument
367 return bset ? bset->ctx : NULL; in isl_basic_set_get_ctx()
390 __isl_keep isl_space *isl_basic_set_peek_space(__isl_keep isl_basic_set *bset) in isl_basic_set_peek_space() argument
392 return isl_basic_map_peek_space(bset_to_bmap(bset)); in isl_basic_set_peek_space()
400 __isl_give isl_space *isl_basic_set_get_space(__isl_keep isl_basic_set *bset) in isl_basic_set_get_space() argument
402 return isl_basic_map_get_space(bset_to_bmap(bset)); in isl_basic_set_get_space()
485 __isl_give isl_mat *isl_basic_set_get_divs(__isl_keep isl_basic_set *bset) in isl_basic_set_get_divs() argument
487 return isl_basic_map_get_divs(bset); in isl_basic_set_get_divs()
503 __isl_keep isl_basic_set *bset) in isl_basic_set_get_local_space() argument
505 return isl_basic_map_get_local_space(bset); in isl_basic_set_get_local_space()
653 __isl_take isl_basic_set *bset, const char *s) in isl_basic_set_set_tuple_name() argument
655 return isl_basic_map_set_tuple_name(bset, isl_dim_set, s); in isl_basic_set_set_tuple_name()
708 __isl_take isl_basic_set *bset, __isl_take isl_id *id) in isl_basic_set_set_tuple_id() argument
710 return isl_basic_map_set_tuple_id(bset, isl_dim_set, id); in isl_basic_set_set_tuple_id()
799 const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset) in isl_basic_set_get_tuple_name() argument
801 return bset ? isl_space_get_tuple_name(bset->dim, isl_dim_set) : NULL; in isl_basic_set_get_tuple_name()
815 const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset, in isl_basic_set_get_dim_name() argument
818 return bset ? isl_space_get_dim_name(bset->dim, type, pos) : NULL; in isl_basic_set_get_dim_name()
892 __isl_take isl_basic_set *bset, in isl_basic_set_set_dim_name() argument
895 return bset_from_bmap(isl_basic_map_set_dim_name(bset_to_bmap(bset), in isl_basic_set_set_dim_name()
914 __isl_give isl_id *isl_basic_set_get_dim_id(__isl_keep isl_basic_set *bset, in isl_basic_set_get_dim_id() argument
917 return bset ? isl_space_get_dim_id(bset->dim, type, pos) : NULL; in isl_basic_set_get_dim_id()
1009 isl_bool isl_basic_set_eq_is_stride(__isl_keep isl_basic_set *bset, int i) in isl_basic_set_eq_is_stride() argument
1017 nparam = isl_basic_set_dim(bset, isl_dim_param); in isl_basic_set_eq_is_stride()
1018 d = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_eq_is_stride()
1019 n_div = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_eq_is_stride()
1023 if (!isl_int_is_zero(bset->eq[i][0])) in isl_basic_set_eq_is_stride()
1026 if (isl_seq_first_non_zero(bset->eq[i] + 1, nparam) != -1) in isl_basic_set_eq_is_stride()
1028 pos1 = isl_seq_first_non_zero(bset->eq[i] + 1 + nparam, d); in isl_basic_set_eq_is_stride()
1031 if (isl_seq_first_non_zero(bset->eq[i] + 1 + nparam + pos1 + 1, in isl_basic_set_eq_is_stride()
1035 pos2 = isl_seq_first_non_zero(bset->eq[i] + 1 + nparam + d, n_div); in isl_basic_set_eq_is_stride()
1038 if (isl_seq_first_non_zero(bset->eq[i] + 1 + nparam + d + pos2 + 1, in isl_basic_set_eq_is_stride()
1041 if (!isl_int_is_one(bset->eq[i][1 + nparam + pos1]) && in isl_basic_set_eq_is_stride()
1042 !isl_int_is_negone(bset->eq[i][1 + nparam + pos1])) in isl_basic_set_eq_is_stride()
1121 int isl_basic_set_is_rational(__isl_keep isl_basic_set *bset) in isl_basic_set_is_rational() argument
1123 return isl_basic_map_is_rational(bset); in isl_basic_set_is_rational()
1196 isl_bool isl_basic_set_is_params(__isl_keep isl_basic_set *bset) in isl_basic_set_is_params() argument
1198 if (!bset) in isl_basic_set_is_params()
1200 return isl_space_is_params(bset->dim); in isl_basic_set_is_params()
1392 __isl_give isl_basic_set *isl_basic_set_dup(__isl_keep isl_basic_set *bset) in isl_basic_set_dup() argument
1396 dup = isl_basic_map_dup(bset_to_bmap(bset)); in isl_basic_set_dup()
1400 __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset) in isl_basic_set_copy() argument
1402 if (!bset) in isl_basic_set_copy()
1405 if (ISL_F_ISSET(bset, ISL_BASIC_SET_FINAL)) { in isl_basic_set_copy()
1406 bset->ref++; in isl_basic_set_copy()
1407 return bset; in isl_basic_set_copy()
1409 return isl_basic_set_dup(bset); in isl_basic_set_copy()
1465 __isl_null isl_basic_set *isl_basic_set_free(__isl_take isl_basic_set *bset) in isl_basic_set_free() argument
1467 return isl_basic_map_free(bset_to_bmap(bset)); in isl_basic_set_free()
1477 isl_stat isl_basic_set_check_no_params(__isl_keep isl_basic_set *bset) in isl_basic_set_check_no_params() argument
1481 nparam = isl_basic_set_dim(bset, isl_dim_param); in isl_basic_set_check_no_params()
1485 isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid, in isl_basic_set_check_no_params()
1493 isl_stat isl_basic_set_check_no_locals(__isl_keep isl_basic_set *bset) in isl_basic_set_check_no_locals() argument
1497 n_div = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_check_no_locals()
1501 isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid, in isl_basic_set_check_no_locals()
1608 int isl_basic_set_alloc_equality(__isl_keep isl_basic_set *bset) in isl_basic_set_alloc_equality() argument
1610 return isl_basic_map_alloc_equality(bset_to_bmap(bset)); in isl_basic_set_alloc_equality()
1627 __isl_take isl_basic_set *bset, unsigned n) in isl_basic_set_free_equality() argument
1629 return bset_from_bmap(isl_basic_map_free_equality(bset_to_bmap(bset), in isl_basic_set_free_equality()
1703 int isl_basic_set_alloc_inequality(__isl_keep isl_basic_set *bset) in isl_basic_set_alloc_inequality() argument
1705 return isl_basic_map_alloc_inequality(bset_to_bmap(bset)); in isl_basic_set_alloc_inequality()
1722 __isl_take isl_basic_set *bset, unsigned n) in isl_basic_set_free_inequality() argument
1724 return bset_from_bmap(isl_basic_map_free_inequality(bset_to_bmap(bset), in isl_basic_set_free_inequality()
1745 int isl_basic_set_drop_inequality(__isl_keep isl_basic_set *bset, unsigned pos) in isl_basic_set_drop_inequality() argument
1747 return isl_basic_map_drop_inequality(bset_to_bmap(bset), pos); in isl_basic_set_drop_inequality()
1778 __isl_give isl_basic_set *isl_basic_set_add_eq(__isl_take isl_basic_set *bset, in isl_basic_set_add_eq() argument
1781 return bset_from_bmap(isl_basic_map_add_eq(bset_to_bmap(bset), eq)); in isl_basic_set_add_eq()
1805 __isl_give isl_basic_set *isl_basic_set_add_ineq(__isl_take isl_basic_set *bset, in isl_basic_set_add_ineq() argument
1808 return bset_from_bmap(isl_basic_map_add_ineq(bset_to_bmap(bset), ineq)); in isl_basic_set_add_ineq()
1825 int isl_basic_set_alloc_div(__isl_keep isl_basic_set *bset) in isl_basic_set_alloc_div() argument
1827 return isl_basic_map_alloc_div(bset_to_bmap(bset)); in isl_basic_set_alloc_div()
1837 isl_stat isl_basic_set_check_range(__isl_keep isl_basic_set *bset, in isl_basic_set_check_range() argument
1840 return isl_basic_map_check_range(bset_to_bmap(bset), in isl_basic_set_check_range()
1989 __isl_give isl_basic_set *isl_basic_set_cow(__isl_take isl_basic_set *bset) in isl_basic_set_cow() argument
1991 return bset_from_bmap(isl_basic_map_cow(bset_to_bmap(bset))); in isl_basic_set_cow()
2149 __isl_take isl_basic_set *bset) in isl_basic_set_set_to_empty() argument
2151 return bset_from_bmap(isl_basic_map_set_to_empty(bset_to_bmap(bset))); in isl_basic_set_set_to_empty()
2173 __isl_take isl_basic_set *bset) in isl_basic_set_set_rational() argument
2175 return isl_basic_map_set_rational(bset); in isl_basic_set_set_rational()
2179 __isl_take isl_basic_set *bset) in isl_basic_set_set_integral() argument
2181 if (!bset) in isl_basic_set_set_integral()
2184 if (!ISL_F_ISSET(bset, ISL_BASIC_MAP_RATIONAL)) in isl_basic_set_set_integral()
2185 return bset; in isl_basic_set_set_integral()
2187 bset = isl_basic_set_cow(bset); in isl_basic_set_set_integral()
2188 if (!bset) in isl_basic_set_set_integral()
2191 ISL_F_CLR(bset, ISL_BASIC_MAP_RATIONAL); in isl_basic_set_set_integral()
2193 return isl_basic_set_finalize(bset); in isl_basic_set_set_integral()
2271 __isl_take isl_basic_set *bset, unsigned first, unsigned n) in isl_basic_set_drop_dims() argument
2273 return isl_basic_map_drop(bset_to_bmap(bset), isl_dim_set, first, n); in isl_basic_set_drop_dims()
2394 __isl_give isl_basic_set *isl_basic_set_drop(__isl_take isl_basic_set *bset, in isl_basic_set_drop() argument
2397 return bset_from_bmap(isl_basic_map_drop(bset_to_bmap(bset), in isl_basic_set_drop()
2527 __isl_take isl_basic_set *bset) in isl_basic_set_remove_divs() argument
2529 return bset_from_bmap(isl_basic_map_remove_divs(bset_to_bmap(bset))); in isl_basic_set_remove_divs()
2831 __isl_take isl_basic_set *bset, in isl_basic_set_remove_divs_involving_dims() argument
2834 return isl_basic_map_remove_divs_involving_dims(bset, type, first, n); in isl_basic_set_remove_divs_involving_dims()
2919 isl_bool isl_basic_set_involves_dims(__isl_keep isl_basic_set *bset, in isl_basic_set_involves_dims() argument
2922 return isl_basic_map_involves_dims(bset, type, first, n); in isl_basic_set_involves_dims()
2933 static isl_bool isl_basic_set_involves_locals(__isl_keep isl_basic_set *bset) in isl_basic_set_involves_locals() argument
2937 n = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_involves_locals()
2946 static isl_bool basic_set_no_locals(__isl_keep isl_basic_set *bset, void *user) in basic_set_no_locals() argument
2948 return isl_bool_not(isl_basic_set_involves_locals(bset)); in basic_set_no_locals()
3003 __isl_take isl_basic_set *bset, unsigned first, unsigned n) in isl_basic_set_drop_constraints_involving() argument
3005 return isl_basic_map_drop_constraints_involving(bset, first, n); in isl_basic_set_drop_constraints_involving()
3053 __isl_take isl_basic_set *bset, in isl_basic_set_drop_constraints_not_involving_dims() argument
3056 return isl_basic_map_drop_constraints_not_involving_dims(bset, in isl_basic_set_drop_constraints_not_involving_dims()
3086 __isl_take isl_basic_set *bset, in isl_basic_set_drop_constraints_involving_dims() argument
3089 return isl_basic_map_drop_constraints_involving_dims(bset, in isl_basic_set_drop_constraints_involving_dims()
3224 __isl_take isl_basic_set *bset) in isl_basic_set_remove_unknown_divs() argument
3226 return isl_basic_map_remove_unknown_divs(bset); in isl_basic_set_remove_unknown_divs()
3259 __isl_take isl_basic_set *bset, in isl_basic_set_remove_dims() argument
3262 isl_basic_map *bmap = bset_to_bmap(bset); in isl_basic_set_remove_dims()
3292 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset, in isl_set_remove_dims() argument
3295 return set_from_map(isl_map_remove_dims(set_to_map(bset), in isl_set_remove_dims()
3306 void isl_basic_set_print_internal(__isl_keep isl_basic_set *bset, in isl_basic_set_print_internal() argument
3311 if (!bset) { in isl_basic_set_print_internal()
3318 bset->ref, bset->dim->nparam, bset->dim->n_out, in isl_basic_set_print_internal()
3319 bset->extra, bset->flags); in isl_basic_set_print_internal()
3321 p = isl_printer_to_file(isl_basic_set_get_ctx(bset), out); in isl_basic_set_print_internal()
3325 p = isl_printer_print_basic_set(p, bset); in isl_basic_set_print_internal()
3421 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset) in isl_set_from_basic_set() argument
3423 return isl_map_from_basic_map(bset); in isl_set_from_basic_set()
3438 __isl_take isl_basic_set *bset) in isl_set_add_basic_set() argument
3441 bset_to_bmap(bset))); in isl_set_add_basic_set()
3493 __isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset) in isl_basic_map_check_compatible_domain() argument
3497 ok = isl_basic_map_compatible_domain(bmap, bset); in isl_basic_map_check_compatible_domain()
3501 isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid, in isl_basic_map_check_compatible_domain()
3508 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset) in isl_basic_map_intersect_domain() argument
3513 if (isl_basic_map_check_equal_params(bmap, bset_to_bmap(bset)) < 0) in isl_basic_map_intersect_domain()
3516 dim = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_map_intersect_domain()
3520 isl_basic_map_check_compatible_domain(bmap, bset) < 0) in isl_basic_map_intersect_domain()
3527 bset->n_div, bset->n_eq, bset->n_ineq); in isl_basic_map_intersect_domain()
3528 bmap_domain = isl_basic_map_from_domain(bset); in isl_basic_map_intersect_domain()
3535 isl_basic_set_free(bset); in isl_basic_map_intersect_domain()
3542 __isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset) in isl_basic_map_check_compatible_range() argument
3546 ok = isl_basic_map_compatible_range(bmap, bset); in isl_basic_map_check_compatible_range()
3550 isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid, in isl_basic_map_check_compatible_range()
3557 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset) in isl_basic_map_intersect_range() argument
3562 if (isl_basic_map_check_equal_params(bmap, bset_to_bmap(bset)) < 0) in isl_basic_map_intersect_range()
3565 dim = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_map_intersect_range()
3568 if (dim != 0 && isl_basic_map_check_compatible_range(bmap, bset) < 0) in isl_basic_map_intersect_range()
3571 if (isl_basic_set_plain_is_universe(bset)) { in isl_basic_map_intersect_range()
3572 isl_basic_set_free(bset); in isl_basic_map_intersect_range()
3580 bset->n_div, bset->n_eq, bset->n_ineq); in isl_basic_map_intersect_range()
3581 bmap_range = bset_to_bmap(bset); in isl_basic_map_intersect_range()
3588 isl_basic_set_free(bset); in isl_basic_map_intersect_range()
3629 isl_bool isl_basic_set_contains(__isl_keep isl_basic_set *bset, in isl_basic_set_contains() argument
3632 return isl_basic_map_contains(bset_to_bmap(bset), vec); in isl_basic_set_contains()
4012 __isl_take isl_basic_set *bset, in isl_basic_set_insert_dims() argument
4015 return isl_basic_map_insert_dims(bset, type, pos, n); in isl_basic_set_insert_dims()
4029 __isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set *bset, in isl_basic_set_add_dims() argument
4032 if (!bset) in isl_basic_set_add_dims()
4034 isl_assert(bset->ctx, type != isl_dim_in, goto error); in isl_basic_set_add_dims()
4035 return isl_basic_map_add_dims(bset, type, n); in isl_basic_set_add_dims()
4037 isl_basic_set_free(bset); in isl_basic_set_add_dims()
4208 __isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set *bset, in isl_basic_set_move_dims() argument
4212 isl_basic_map *bmap = bset_to_bmap(bset); in isl_basic_set_move_dims()
4466 __isl_take isl_basic_set *bset, enum isl_dim_type type, in isl_basic_set_project_out() argument
4469 return bset_from_bmap(isl_basic_map_project_out(bset_to_bmap(bset), in isl_basic_set_project_out()
4727 __isl_give isl_basic_set *isl_basic_set_apply(__isl_take isl_basic_set *bset, in isl_basic_set_apply() argument
4730 if (isl_basic_map_check_compatible_domain(bmap, bset) < 0) in isl_basic_set_apply()
4733 return bset_from_bmap(isl_basic_map_apply_range(bset_to_bmap(bset), in isl_basic_set_apply()
4736 isl_basic_set_free(bset); in isl_basic_set_apply()
4890 __isl_give isl_basic_set *isl_basic_set_neg(__isl_take isl_basic_set *bset) in isl_basic_set_neg() argument
4892 return isl_basic_map_neg(bset); in isl_basic_set_neg()
5571 __isl_take isl_basic_set *bset) in isl_basic_set_underlying_set() argument
5573 return isl_basic_map_underlying_set(bset_to_bmap(bset)); in isl_basic_set_underlying_set()
5591 isl_basic_set *bset; in isl_basic_map_list_underlying_set() local
5594 bset = isl_basic_set_underlying_set(bmap); in isl_basic_map_list_underlying_set()
5595 list = isl_basic_set_list_set_basic_set(list, i, bset); in isl_basic_map_list_underlying_set()
5605 __isl_take isl_basic_set *bset, __isl_take isl_basic_map *like) in isl_basic_map_overlying_set() argument
5613 if (!bset || !like) in isl_basic_map_overlying_set()
5615 ctx = bset->ctx; in isl_basic_map_overlying_set()
5616 if (isl_basic_set_check_no_params(bset) < 0 || in isl_basic_map_overlying_set()
5617 isl_basic_set_check_no_locals(bset) < 0) in isl_basic_map_overlying_set()
5619 dim = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_map_overlying_set()
5627 return isl_basic_map_reset_space(bset, space); in isl_basic_map_overlying_set()
5629 bset = isl_basic_set_cow(bset); in isl_basic_map_overlying_set()
5630 if (!bset) in isl_basic_map_overlying_set()
5632 total = dim + bset->extra; in isl_basic_map_overlying_set()
5633 bmap = bset_to_bmap(bset); in isl_basic_map_overlying_set()
5668 isl_basic_set_free(bset); in isl_basic_map_overlying_set()
5673 __isl_take isl_basic_set *bset, __isl_take isl_basic_set *like) in isl_basic_set_from_underlying_set() argument
5675 return bset_from_bmap(isl_basic_map_overlying_set(bset, in isl_basic_set_from_underlying_set()
5747 __isl_take isl_basic_set *bset, __isl_take isl_space *space) in isl_basic_set_reset_space() argument
5749 return bset_from_bmap(isl_basic_map_reset_space(bset_to_bmap(bset), in isl_basic_set_reset_space()
5834 __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset) in isl_basic_set_params() argument
5840 is_params = isl_basic_set_is_params(bset); in isl_basic_set_params()
5842 return isl_basic_set_free(bset); in isl_basic_set_params()
5844 return bset; in isl_basic_set_params()
5846 n = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_params()
5848 return isl_basic_set_free(bset); in isl_basic_set_params()
5849 bset = isl_basic_set_project_out(bset, isl_dim_set, 0, n); in isl_basic_set_params()
5850 space = isl_basic_set_get_space(bset); in isl_basic_set_params()
5852 bset = isl_basic_set_reset_space(bset, space); in isl_basic_set_params()
5853 return bset; in isl_basic_set_params()
5859 __isl_take isl_basic_set *bset) in isl_basic_set_from_params() argument
5862 space = isl_basic_set_get_space(bset); in isl_basic_set_from_params()
5864 bset = isl_basic_set_reset_space(bset, space); in isl_basic_set_from_params()
5865 return bset; in isl_basic_set_from_params()
6107 __isl_take isl_basic_set *bset) in isl_basic_map_from_domain() argument
6109 return isl_basic_map_reverse(isl_basic_map_from_range(bset)); in isl_basic_map_from_domain()
6113 __isl_take isl_basic_set *bset) in isl_basic_map_from_range() argument
6116 space = isl_basic_set_get_space(bset); in isl_basic_map_from_range()
6118 bset = isl_basic_set_reset_space(bset, space); in isl_basic_map_from_range()
6119 return bset_to_bmap(bset); in isl_basic_map_from_range()
6199 struct isl_basic_set *bset; in isl_basic_set_empty() local
6200 bset = isl_basic_set_alloc_space(space, 0, 1, 0); in isl_basic_set_empty()
6201 bset = isl_basic_set_set_to_empty(bset); in isl_basic_set_empty()
6202 return bset; in isl_basic_set_empty()
6215 struct isl_basic_set *bset; in isl_basic_set_universe() local
6216 bset = isl_basic_set_alloc_space(space, 0, 0, 0); in isl_basic_set_universe()
6217 bset = isl_basic_set_finalize(bset); in isl_basic_set_universe()
6218 return bset; in isl_basic_set_universe()
6441 __isl_give isl_basic_set *isl_basic_set_fix_val(__isl_take isl_basic_set *bset, in isl_basic_set_fix_val() argument
6444 return isl_basic_map_fix_val(bset, type, pos, v); in isl_basic_set_fix_val()
6447 __isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bset, in isl_basic_set_fix_si() argument
6450 return bset_from_bmap(isl_basic_map_fix_si(bset_to_bmap(bset), in isl_basic_set_fix_si()
6454 __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset, in isl_basic_set_fix() argument
6457 return bset_from_bmap(isl_basic_map_fix(bset_to_bmap(bset), in isl_basic_set_fix()
7048 __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos, in isl_basic_set_bound() argument
7051 return bset_from_bmap(basic_map_bound(bset_to_bmap(bset), in isl_basic_set_bound()
7059 __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos, in isl_basic_set_bound_val() argument
7065 isl_die(isl_basic_set_get_ctx(bset), isl_error_invalid, in isl_basic_set_bound_val()
7067 bset = isl_basic_set_bound(bset, type, pos, value->n, upper); in isl_basic_set_bound_val()
7069 return bset; in isl_basic_set_bound_val()
7072 isl_basic_set_free(bset); in isl_basic_set_bound_val()
7079 __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos, in isl_basic_set_lower_bound_val() argument
7082 return isl_basic_set_bound_val(bset, type, pos, value, 0); in isl_basic_set_lower_bound_val()
7088 __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos, in isl_basic_set_upper_bound_val() argument
7091 return isl_basic_set_bound_val(bset, type, pos, value, 1); in isl_basic_set_upper_bound_val()
7297 __isl_give isl_set *isl_basic_set_lexopt(__isl_take isl_basic_set *bset, in isl_basic_set_lexopt() argument
7300 return isl_basic_map_lexopt(bset, flags); in isl_basic_set_lexopt()
7308 __isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset) in isl_basic_set_lexmin() argument
7310 return set_from_map(isl_basic_map_lexmin(bset_to_bmap(bset))); in isl_basic_set_lexmin()
7313 __isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset) in isl_basic_set_lexmax() argument
7315 return set_from_map(isl_basic_map_lexmax(bset_to_bmap(bset))); in isl_basic_set_lexmax()
7325 __isl_take isl_basic_set *bset) in isl_basic_set_lexmin_compute_divs() argument
7327 return isl_basic_set_lexopt(bset, ISL_OPT_QE); in isl_basic_set_lexmin_compute_divs()
7440 __isl_take isl_basic_set *bset, __isl_take isl_mat *mat) in basic_set_parameter_preimage() argument
7444 nparam = isl_basic_set_dim(bset, isl_dim_param); in basic_set_parameter_preimage()
7448 bset->dim = isl_space_cow(bset->dim); in basic_set_parameter_preimage()
7449 if (!bset->dim) in basic_set_parameter_preimage()
7452 isl_assert(bset->ctx, mat->n_row == 1 + nparam, goto error); in basic_set_parameter_preimage()
7454 bset->dim->nparam = 0; in basic_set_parameter_preimage()
7455 bset->dim->n_out = nparam; in basic_set_parameter_preimage()
7456 bset = isl_basic_set_preimage(bset, mat); in basic_set_parameter_preimage()
7457 if (bset) { in basic_set_parameter_preimage()
7458 bset->dim->nparam = bset->dim->n_out; in basic_set_parameter_preimage()
7459 bset->dim->n_out = 0; in basic_set_parameter_preimage()
7461 return bset; in basic_set_parameter_preimage()
7464 isl_basic_set_free(bset); in basic_set_parameter_preimage()
7508 __isl_take isl_basic_set *bset, __isl_take isl_mat *eq) in basic_set_append_equalities() argument
7513 if (!bset || !eq) in basic_set_append_equalities()
7516 bset = isl_basic_set_extend(bset, 0, eq->n_row, 0); in basic_set_append_equalities()
7517 if (!bset) in basic_set_append_equalities()
7520 len = isl_basic_set_offset(bset, isl_dim_div) + bset->extra; in basic_set_append_equalities()
7522 k = isl_basic_set_alloc_equality(bset); in basic_set_append_equalities()
7525 isl_seq_cpy(bset->eq[k], eq->row[i], eq->n_col); in basic_set_append_equalities()
7526 isl_seq_clr(bset->eq[k] + eq->n_col, len - eq->n_col); in basic_set_append_equalities()
7530 bset = isl_basic_set_gauss(bset, NULL); in basic_set_append_equalities()
7531 bset = isl_basic_set_finalize(bset); in basic_set_append_equalities()
7533 return bset; in basic_set_append_equalities()
7536 isl_basic_set_free(bset); in basic_set_append_equalities()
7572 static int first_parameter_equality(__isl_keep isl_basic_set *bset) in first_parameter_equality() argument
7577 nparam = isl_basic_set_dim(bset, isl_dim_param); in first_parameter_equality()
7578 n_div = isl_basic_set_dim(bset, isl_dim_div); in first_parameter_equality()
7582 for (i = 0, j = n_div - 1; i < bset->n_eq && j >= 0; --j) { in first_parameter_equality()
7583 if (!isl_int_is_zero(bset->eq[i][1 + nparam + j])) in first_parameter_equality()
7604 static __isl_give isl_set *base_compute_divs(__isl_take isl_basic_set *bset) in base_compute_divs() argument
7610 if (!bset) in base_compute_divs()
7612 if (bset->n_eq == 0) in base_compute_divs()
7613 return isl_basic_set_lexmin_compute_divs(bset); in base_compute_divs()
7615 morph1 = isl_basic_set_parameter_compression(bset); in base_compute_divs()
7616 bset = isl_morph_basic_set(isl_morph_copy(morph1), bset); in base_compute_divs()
7617 bset = isl_basic_set_lift(bset); in base_compute_divs()
7618 morph2 = isl_basic_set_variable_compression(bset, isl_dim_set); in base_compute_divs()
7619 bset = isl_morph_basic_set(morph2, bset); in base_compute_divs()
7620 n = isl_basic_set_dim(bset, isl_dim_set); in base_compute_divs()
7622 bset = isl_basic_set_free(bset); in base_compute_divs()
7623 bset = isl_basic_set_project_out(bset, isl_dim_set, 0, n); in base_compute_divs()
7625 set = isl_basic_set_lexmin_compute_divs(bset); in base_compute_divs()
7651 __isl_take isl_basic_set *bset) in parameter_compute_divs() argument
7659 bset = isl_basic_set_cow(bset); in parameter_compute_divs()
7660 if (!bset) in parameter_compute_divs()
7663 if (bset->n_eq == 0) in parameter_compute_divs()
7664 return base_compute_divs(bset); in parameter_compute_divs()
7666 bset = isl_basic_set_gauss(bset, NULL); in parameter_compute_divs()
7667 if (!bset) in parameter_compute_divs()
7669 if (isl_basic_set_plain_is_empty(bset)) in parameter_compute_divs()
7670 return isl_set_from_basic_set(bset); in parameter_compute_divs()
7672 i = first_parameter_equality(bset); in parameter_compute_divs()
7673 if (i == bset->n_eq) in parameter_compute_divs()
7674 return base_compute_divs(bset); in parameter_compute_divs()
7676 nparam = isl_basic_set_dim(bset, isl_dim_param); in parameter_compute_divs()
7678 return isl_set_from_basic_set(isl_basic_set_free(bset)); in parameter_compute_divs()
7679 eq = isl_mat_sub_alloc6(bset->ctx, bset->eq, i, bset->n_eq - i, in parameter_compute_divs()
7687 bset = isl_basic_set_set_to_empty(bset); in parameter_compute_divs()
7688 return isl_set_from_basic_set(bset); in parameter_compute_divs()
7690 bset = basic_set_parameter_preimage(bset, T); in parameter_compute_divs()
7692 i = first_parameter_equality(bset); in parameter_compute_divs()
7693 if (!bset) in parameter_compute_divs()
7695 else if (i == bset->n_eq) in parameter_compute_divs()
7696 set = base_compute_divs(bset); in parameter_compute_divs()
7698 set = parameter_compute_divs(bset); in parameter_compute_divs()
7817 struct isl_basic_set *bset; in compute_divs() local
7855 bset = bset_from_bmap(bmap); in compute_divs()
7857 set = parameter_compute_divs(bset); in compute_divs()
7929 int isl_basic_set_first_unknown_div(__isl_keep isl_basic_set *bset) in isl_basic_set_first_unknown_div() argument
7931 return isl_basic_map_first_unknown_div(bset); in isl_basic_set_first_unknown_div()
8031 __isl_give isl_set *isl_basic_set_compute_divs(__isl_take isl_basic_set *bset) in isl_basic_set_compute_divs() argument
8033 return set_from_map(isl_basic_map_compute_divs(bset_to_bmap(bset))); in isl_basic_set_compute_divs()
8207 __isl_take isl_basic_set *bset)) in map_intersect_set() argument
8542 struct isl_basic_set *bset; in isl_basic_map_deltas() local
8572 bset = isl_basic_map_domain(bmap); in isl_basic_map_deltas()
8573 bset = isl_basic_set_reset_space(bset, target_space); in isl_basic_map_deltas()
8574 return bset; in isl_basic_map_deltas()
8751 struct isl_basic_set *bset; in isl_basic_set_positive_orthant() local
8758 bset = isl_basic_set_alloc_space(space, 0, 0, dim); in isl_basic_set_positive_orthant()
8759 if (!bset) in isl_basic_set_positive_orthant()
8762 int k = isl_basic_set_alloc_inequality(bset); in isl_basic_set_positive_orthant()
8765 isl_seq_clr(bset->ineq[k], 1 + total); in isl_basic_set_positive_orthant()
8766 isl_int_set_si(bset->ineq[k][1 + nparam + i], 1); in isl_basic_set_positive_orthant()
8768 return bset; in isl_basic_set_positive_orthant()
8770 isl_basic_set_free(bset); in isl_basic_set_positive_orthant()
9047 __isl_keep isl_basic_set *bset) in isl_set_basic_set_check_equal_space() argument
9050 bset_to_bmap(bset)); in isl_set_basic_set_check_equal_space()
9128 isl_bool isl_basic_set_plain_is_universe(__isl_keep isl_basic_set *bset) in isl_basic_set_plain_is_universe() argument
9130 return isl_basic_map_plain_is_universe(bset); in isl_basic_set_plain_is_universe()
9187 isl_bool isl_basic_set_is_universe(__isl_keep isl_basic_set *bset) in isl_basic_set_is_universe() argument
9189 return isl_basic_map_is_universe(bset); in isl_basic_set_is_universe()
9215 struct isl_basic_set *bset = NULL; in isl_basic_map_is_empty() local
9243 bset = isl_basic_map_underlying_set(isl_basic_map_copy(bmap)); in isl_basic_map_is_empty()
9244 if (!bset) in isl_basic_map_is_empty()
9246 sample = isl_basic_set_sample_vec(bset); in isl_basic_map_is_empty()
9265 isl_bool isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset) in isl_basic_set_plain_is_empty() argument
9267 if (!bset) in isl_basic_set_plain_is_empty()
9269 return ISL_F_ISSET(bset, ISL_BASIC_SET_EMPTY); in isl_basic_set_plain_is_empty()
9292 isl_bool isl_basic_set_is_empty(__isl_keep isl_basic_set *bset) in isl_basic_set_is_empty() argument
9294 return isl_basic_map_is_empty(bset_to_bmap(bset)); in isl_basic_set_is_empty()
9377 __isl_take isl_basic_set *bset) in isl_basic_set_sort_divs() argument
9379 return bset_from_bmap(isl_basic_map_sort_divs(bset_to_bmap(bset))); in isl_basic_set_sort_divs()
9448 __isl_take isl_basic_set *bset, __isl_take isl_mat *div, int *exp) in isl_basic_set_expand_divs() argument
9450 return isl_basic_map_expand_divs(bset, div, exp); in isl_basic_set_expand_divs()
9925 __isl_keep isl_basic_set *bset, unsigned pos, isl_int *val) in isl_basic_set_plain_has_fixed_var() argument
9927 return isl_basic_map_plain_has_fixed_var(bset_to_bmap(bset), in isl_basic_set_plain_has_fixed_var()
10049 isl_bool isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset, in isl_basic_set_plain_dim_is_fixed() argument
10054 nparam = isl_basic_set_dim(bset, isl_dim_param); in isl_basic_set_plain_dim_is_fixed()
10057 return isl_basic_set_plain_has_fixed_var(bset, nparam + dim, val); in isl_basic_set_plain_dim_is_fixed()
10143 __isl_take isl_basic_set *bset) in isl_basic_set_sort_constraints() argument
10145 isl_basic_map *bmap = bset_to_bmap(bset); in isl_basic_set_sort_constraints()
10468 isl_basic_set *bset; in isl_basic_set_list_union() local
10478 bset = isl_basic_set_list_get_basic_set(list, 0); in isl_basic_set_list_union()
10479 space = isl_basic_set_get_space(bset); in isl_basic_set_list_union()
10480 isl_basic_set_free(bset); in isl_basic_set_list_union()
10484 bset = isl_basic_set_list_get_basic_set(list, i); in isl_basic_set_list_union()
10485 set = isl_set_add_basic_set(set, bset); in isl_basic_set_list_union()
11035 uint32_t isl_basic_set_get_hash(__isl_keep isl_basic_set *bset) in isl_basic_set_get_hash() argument
11037 return isl_basic_map_get_hash(bset_to_bmap(bset)); in isl_basic_set_get_hash()
11097 isl_stat (*fn)(__isl_take isl_basic_set *bset, void *user), void *user) in isl_set_foreach_basic_set() argument
11114 isl_bool (*test)(__isl_keep isl_basic_set *bset, void *user), in isl_set_every_basic_set() argument
11146 isl_basic_set *bset; in isl_set_get_basic_set_list() local
11148 bset = isl_basic_set_copy(set->p[i]); in isl_set_get_basic_set_list()
11149 list = isl_basic_set_list_add(list, bset); in isl_set_get_basic_set_list()
11155 __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset) in isl_basic_set_lift() argument
11159 if (!bset) in isl_basic_set_lift()
11162 bset = isl_basic_set_cow(bset); in isl_basic_set_lift()
11163 if (!bset) in isl_basic_set_lift()
11166 space = isl_basic_set_get_space(bset); in isl_basic_set_lift()
11167 space = isl_space_lift(space, bset->n_div); in isl_basic_set_lift()
11170 isl_space_free(bset->dim); in isl_basic_set_lift()
11171 bset->dim = space; in isl_basic_set_lift()
11172 bset->extra -= bset->n_div; in isl_basic_set_lift()
11173 bset->n_div = 0; in isl_basic_set_lift()
11175 bset = isl_basic_set_finalize(bset); in isl_basic_set_lift()
11177 return bset; in isl_basic_set_lift()
11179 isl_basic_set_free(bset); in isl_basic_set_lift()
11218 int isl_basic_set_size(__isl_keep isl_basic_set *bset) in isl_basic_set_size() argument
11223 dim = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_size()
11226 size += bset->n_eq * (1 + dim); in isl_basic_set_size()
11227 size += bset->n_ineq * (1 + dim); in isl_basic_set_size()
11228 size += bset->n_div * (2 + dim); in isl_basic_set_size()
11413 isl_stat isl_basic_set_vars_get_sign(__isl_keep isl_basic_set *bset, in isl_basic_set_vars_get_sign() argument
11422 total = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_vars_get_sign()
11426 bound = isl_vec_alloc(bset->ctx, 1 + total); in isl_basic_set_vars_get_sign()
11427 tab = isl_tab_from_basic_set(bset, 0); in isl_basic_set_vars_get_sign()
11471 isl_stat isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset, in isl_basic_set_dims_get_sign() argument
11474 if (!bset || !signs) in isl_basic_set_dims_get_sign()
11476 if (isl_basic_set_check_range(bset, type, first, n) < 0) in isl_basic_set_dims_get_sign()
11479 first += pos(bset->dim, type) - 1; in isl_basic_set_dims_get_sign()
11480 return isl_basic_set_vars_get_sign(bset, first, n, signs); in isl_basic_set_dims_get_sign()
11891 isl_bool isl_basic_set_is_box(__isl_keep isl_basic_set *bset) in isl_basic_set_is_box() argument
11897 n_div = isl_basic_set_dim(bset, isl_dim_div); in isl_basic_set_is_box()
11903 nvar = isl_basic_set_dim(bset, isl_dim_set); in isl_basic_set_is_box()
11906 ovar = isl_space_offset(bset->dim, isl_dim_set); in isl_basic_set_is_box()
11909 for (i = 0; i < bset->n_eq; ++i) { in isl_basic_set_is_box()
11910 if (isl_int_is_zero(bset->eq[i][1 + ovar + j])) in isl_basic_set_is_box()
11912 if (!unique(bset->eq[i] + 1 + ovar, j, nvar)) in isl_basic_set_is_box()
11916 if (i < bset->n_eq) in isl_basic_set_is_box()
11918 for (i = 0; i < bset->n_ineq; ++i) { in isl_basic_set_is_box()
11919 if (isl_int_is_zero(bset->ineq[i][1 + ovar + j])) in isl_basic_set_is_box()
11921 if (!unique(bset->ineq[i] + 1 + ovar, j, nvar)) in isl_basic_set_is_box()
11923 if (isl_int_is_pos(bset->ineq[i][1 + ovar + j])) in isl_basic_set_is_box()
11945 isl_bool isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset) in isl_basic_set_is_wrapping() argument
11947 if (!bset) in isl_basic_set_is_wrapping()
11950 return isl_space_is_wrapping(bset->dim); in isl_basic_set_is_wrapping()
12037 __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bset) in isl_basic_set_unwrap() argument
12039 bset = isl_basic_set_cow(bset); in isl_basic_set_unwrap()
12040 if (!bset) in isl_basic_set_unwrap()
12043 bset->dim = isl_space_unwrap(bset->dim); in isl_basic_set_unwrap()
12044 if (!bset->dim) in isl_basic_set_unwrap()
12047 bset = isl_basic_set_finalize(bset); in isl_basic_set_unwrap()
12049 return bset_to_bmap(bset); in isl_basic_set_unwrap()
12051 isl_basic_set_free(bset); in isl_basic_set_unwrap()
12123 __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *bset) in isl_basic_set_flatten() argument
12125 return bset_from_bmap(isl_basic_map_flatten(bset_to_bmap(bset))); in isl_basic_set_flatten()
12378 isl_bool isl_basic_set_space_has_equal_params(__isl_keep isl_basic_set *bset, in isl_basic_set_space_has_equal_params() argument
12383 bset_space = isl_basic_set_peek_space(bset); in isl_basic_set_space_has_equal_params()
12410 __isl_take isl_basic_set *bset, __isl_take isl_space *model) in isl_basic_set_align_params() argument
12412 return isl_basic_map_align_params(bset, model); in isl_basic_set_align_params()
12476 __isl_take isl_basic_set *bset) in isl_basic_set_drop_unused_params() argument
12479 bset_to_bmap(bset))); in isl_basic_set_drop_unused_params()
12859 __isl_keep isl_basic_set *bset, enum isl_dim_type c1, in isl_basic_set_equalities_matrix() argument
12862 return isl_basic_map_equalities_matrix(bset_to_bmap(bset), in isl_basic_set_equalities_matrix()
12867 __isl_keep isl_basic_set *bset, enum isl_dim_type c1, in isl_basic_set_inequalities_matrix() argument
12870 return isl_basic_map_inequalities_matrix(bset_to_bmap(bset), in isl_basic_set_inequalities_matrix()
13361 __isl_give isl_aff *isl_basic_set_get_div(__isl_keep isl_basic_set *bset, in isl_basic_set_get_div() argument
13364 return isl_basic_map_get_div(bset, pos); in isl_basic_set_get_div()
13394 __isl_take isl_basic_set *bset, in isl_basic_set_substitute() argument
13402 if (bset && isl_basic_set_plain_is_empty(bset)) in isl_basic_set_substitute()
13403 return bset; in isl_basic_set_substitute()
13405 bset = isl_basic_set_cow(bset); in isl_basic_set_substitute()
13406 if (!bset || !subs) in isl_basic_set_substitute()
13409 ctx = isl_basic_set_get_ctx(bset); in isl_basic_set_substitute()
13410 if (!isl_space_is_equal(bset->dim, subs->ls->dim)) in isl_basic_set_substitute()
13423 pos += isl_basic_set_offset(bset, type); in isl_basic_set_substitute()
13427 for (i = 0; i < bset->n_eq; ++i) { in isl_basic_set_substitute()
13428 if (isl_int_is_zero(bset->eq[i][pos])) in isl_basic_set_substitute()
13430 isl_int_set(v, bset->eq[i][pos]); in isl_basic_set_substitute()
13431 isl_int_set_si(bset->eq[i][pos], 0); in isl_basic_set_substitute()
13432 isl_seq_combine(bset->eq[i], subs->v->el[0], bset->eq[i], in isl_basic_set_substitute()
13436 for (i = 0; i < bset->n_ineq; ++i) { in isl_basic_set_substitute()
13437 if (isl_int_is_zero(bset->ineq[i][pos])) in isl_basic_set_substitute()
13439 isl_int_set(v, bset->ineq[i][pos]); in isl_basic_set_substitute()
13440 isl_int_set_si(bset->ineq[i][pos], 0); in isl_basic_set_substitute()
13441 isl_seq_combine(bset->ineq[i], subs->v->el[0], bset->ineq[i], in isl_basic_set_substitute()
13445 for (i = 0; i < bset->n_div; ++i) { in isl_basic_set_substitute()
13446 if (isl_int_is_zero(bset->div[i][1 + pos])) in isl_basic_set_substitute()
13448 isl_int_set(v, bset->div[i][1 + pos]); in isl_basic_set_substitute()
13449 isl_int_set_si(bset->div[i][1 + pos], 0); in isl_basic_set_substitute()
13450 isl_seq_combine(bset->div[i] + 1, in isl_basic_set_substitute()
13451 subs->v->el[0], bset->div[i] + 1, in isl_basic_set_substitute()
13453 isl_int_mul(bset->div[i][0], bset->div[i][0], subs->v->el[0]); in isl_basic_set_substitute()
13458 bset = isl_basic_set_simplify(bset); in isl_basic_set_substitute()
13459 return isl_basic_set_finalize(bset); in isl_basic_set_substitute()
13461 isl_basic_set_free(bset); in isl_basic_set_substitute()
13835 __isl_take isl_basic_set *bset, __isl_take isl_multi_aff *ma) in isl_basic_set_preimage_multi_aff() argument
13837 return isl_basic_map_preimage_multi_aff(bset, isl_dim_set, ma); in isl_basic_set_preimage_multi_aff()
14199 __isl_keep isl_basic_set *bset) in isl_basic_set_extract_equalities() argument
14204 total = isl_basic_set_dim(bset, isl_dim_all); in isl_basic_set_extract_equalities()
14208 ctx = isl_basic_set_get_ctx(bset); in isl_basic_set_extract_equalities()
14209 return isl_mat_sub_alloc6(ctx, bset->eq, 0, bset->n_eq, 0, 1 + total); in isl_basic_set_extract_equalities()
14283 __isl_keep isl_basic_set *bset, int ineq) in is_internal() argument
14289 if (!inner || !bset) in is_internal()
14292 ctx = isl_basic_set_get_ctx(bset); in is_internal()
14293 isl_seq_inner_product(inner->el, bset->ineq[ineq], inner->size, in is_internal()
14298 total = isl_basic_set_dim(bset, isl_dim_all); in is_internal()
14301 pos = isl_seq_first_non_zero(bset->ineq[ineq] + 1, total); in is_internal()
14302 return isl_int_is_pos(bset->ineq[ineq][1 + pos]); in is_internal()
14323 __isl_take isl_basic_set *bset, __isl_keep isl_vec *vec) in isl_basic_set_tighten_outward() argument
14327 bset = isl_basic_set_cow(bset); in isl_basic_set_tighten_outward()
14328 if (!bset) in isl_basic_set_tighten_outward()
14330 for (j = 0; j < bset->n_ineq; ++j) { in isl_basic_set_tighten_outward()
14333 internal = is_internal(vec, bset, j); in isl_basic_set_tighten_outward()
14335 return isl_basic_set_free(bset); in isl_basic_set_tighten_outward()
14338 isl_int_sub_ui(bset->ineq[j][0], bset->ineq[j][0], 1); in isl_basic_set_tighten_outward()
14341 return bset; in isl_basic_set_tighten_outward()
14396 __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned first, in isl_basic_set_transform_dims() argument
14399 return isl_basic_map_transform_dims(bset, type, first, trans); in isl_basic_set_transform_dims()