62 	__isl_keep const isl_basic_set *bset)  in const_bset_to_bmap()
167 isl_size isl_basic_set_var_offset(__isl_keep isl_basic_set *bset,  in isl_basic_set_var_offset()
189 unsigned isl_basic_set_offset(__isl_keep isl_basic_set *bset,  in isl_basic_set_offset()
200 isl_size isl_basic_set_dim(__isl_keep isl_basic_set *bset,  in isl_basic_set_dim()
206 isl_size isl_basic_set_n_dim(__isl_keep isl_basic_set *bset)  in isl_basic_set_n_dim()
211 isl_size isl_basic_set_n_param(__isl_keep isl_basic_set *bset)  in isl_basic_set_n_param()
216 isl_size isl_basic_set_total_dim(__isl_keep const isl_basic_set *bset)  in isl_basic_set_total_dim()
256 isl_size isl_basic_set_n_equality(__isl_keep isl_basic_set *bset)  in isl_basic_set_n_equality()
274 isl_size isl_basic_set_n_inequality(__isl_keep isl_basic_set *bset)  in isl_basic_set_n_inequality()
314 	enum isl_dim_type type, __isl_keep isl_basic_set *bset)  in isl_basic_map_set_tuple_is_equal()
345 	__isl_keep isl_basic_set *bset)  in isl_basic_map_compatible_domain()
369 	__isl_keep isl_basic_set *bset)  in isl_basic_map_compatible_range()
385 isl_ctx *isl_basic_set_get_ctx(__isl_keep isl_basic_set *bset)  in isl_basic_set_get_ctx()
410 __isl_keep isl_space *isl_basic_set_peek_space(__isl_keep isl_basic_set *bset)  in isl_basic_set_peek_space()
420 __isl_give isl_space *isl_basic_set_get_space(__isl_keep isl_basic_set *bset)  in isl_basic_set_get_space()
505 __isl_give isl_mat *isl_basic_set_get_divs(__isl_keep isl_basic_set *bset)  in isl_basic_set_get_divs()
523 	__isl_keep isl_basic_set *bset)  in isl_basic_set_get_local_space()
673 	__isl_take isl_basic_set *bset, const char *s)  in isl_basic_set_set_tuple_name()
728 	__isl_take isl_basic_set *bset, __isl_take isl_id *id)  in isl_basic_set_set_tuple_id()
863 const char *isl_basic_set_get_tuple_name(__isl_keep isl_basic_set *bset)  in isl_basic_set_get_tuple_name()
879 const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset,  in isl_basic_set_get_dim_name()
956 	__isl_take isl_basic_set *bset,  in isl_basic_set_set_dim_name()
978 __isl_give isl_id *isl_basic_set_get_dim_id(__isl_keep isl_basic_set *bset,  in isl_basic_set_get_dim_id()
1073 isl_bool isl_basic_set_eq_is_stride(__isl_keep isl_basic_set *bset, int i)  in isl_basic_set_eq_is_stride()
1185 int isl_basic_set_is_rational(__isl_keep isl_basic_set *bset)  in isl_basic_set_is_rational()
1260 isl_bool isl_basic_set_is_params(__isl_keep isl_basic_set *bset)  in isl_basic_set_is_params()
1456 __isl_give isl_basic_set *isl_basic_set_dup(__isl_keep isl_basic_set *bset)  in isl_basic_set_dup()
1464 __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *bset)  in isl_basic_set_copy()
1522 __isl_null isl_basic_set *isl_basic_set_free(__isl_take isl_basic_set *bset)  in isl_basic_set_free()
1534 isl_stat isl_basic_set_check_no_params(__isl_keep isl_basic_set *bset)  in isl_basic_set_check_no_params()
1550 isl_stat isl_basic_set_check_no_locals(__isl_keep isl_basic_set *bset)  in isl_basic_set_check_no_locals()
1665 int isl_basic_set_alloc_equality(__isl_keep isl_basic_set *bset)  in isl_basic_set_alloc_equality()
1684 	__isl_take isl_basic_set *bset, unsigned n)  in isl_basic_set_free_equality()
1760 int isl_basic_set_alloc_inequality(__isl_keep isl_basic_set *bset)  in isl_basic_set_alloc_inequality()
1779 	__isl_take isl_basic_set *bset, unsigned n)  in isl_basic_set_free_inequality()
1802 int isl_basic_set_drop_inequality(__isl_keep isl_basic_set *bset, unsigned pos)  in isl_basic_set_drop_inequality()
1835 __isl_give isl_basic_set *isl_basic_set_add_eq(__isl_take isl_basic_set *bset,  in isl_basic_set_add_eq()
1862 __isl_give isl_basic_set *isl_basic_set_add_ineq(__isl_take isl_basic_set *bset,  in isl_basic_set_add_ineq()
1882 int isl_basic_set_alloc_div(__isl_keep isl_basic_set *bset)  in isl_basic_set_alloc_div()
1894 isl_stat isl_basic_set_check_range(__isl_keep isl_basic_set *bset,  in isl_basic_set_check_range()
2046 __isl_give isl_basic_set *isl_basic_set_cow(__isl_take isl_basic_set *bset)  in isl_basic_set_cow()
2209 	__isl_take isl_basic_set *bset)  in isl_basic_set_set_to_empty()
2233 	__isl_take isl_basic_set *bset)  in isl_basic_set_set_rational()
2239 	__isl_take isl_basic_set *bset)  in isl_basic_set_set_integral()
2331 	__isl_take isl_basic_set *bset, unsigned first, unsigned n)  in isl_basic_set_drop_dims()
2454 __isl_give isl_basic_set *isl_basic_set_drop(__isl_take isl_basic_set *bset,  in isl_basic_set_drop()
2587 	__isl_take isl_basic_set *bset)  in isl_basic_set_remove_divs()
2895 	__isl_take isl_basic_set *bset,  in isl_basic_set_remove_divs_involving_dims()
2983 isl_bool isl_basic_set_involves_dims(__isl_keep isl_basic_set *bset,  in isl_basic_set_involves_dims()
2997 static isl_bool isl_basic_set_involves_locals(__isl_keep isl_basic_set *bset)  in isl_basic_set_involves_locals()
3010 static isl_bool basic_set_no_locals(__isl_keep isl_basic_set *bset, void *user)  in basic_set_no_locals()
3067 	__isl_take isl_basic_set *bset, unsigned first, unsigned n)  in isl_basic_set_drop_constraints_involving()
3117 	__isl_take isl_basic_set *bset,  in isl_basic_set_drop_constraints_not_involving_dims()
3150 	__isl_take isl_basic_set *bset,  in isl_basic_set_drop_constraints_involving_dims()
3288 	__isl_take isl_basic_set *bset)  in isl_basic_set_remove_unknown_divs()
3323 	__isl_take isl_basic_set *bset,  in isl_basic_set_remove_dims()
3356 __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset,  in isl_set_remove_dims()
3370 void isl_basic_set_print_internal(__isl_keep isl_basic_set *bset,  in isl_basic_set_print_internal()
3485 __isl_give isl_set *isl_set_from_basic_set(__isl_take isl_basic_set *bset)  in isl_set_from_basic_set()
3493 __isl_give isl_set *isl_basic_set_to_set(__isl_take isl_basic_set *bset)  in isl_basic_set_to_set()
3510 						__isl_take isl_basic_set *bset)  in isl_set_add_basic_set()
3565 	__isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset)  in isl_basic_map_check_compatible_domain()
3580 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset)  in isl_basic_map_intersect_domain()
3614 	__isl_keep isl_basic_map *bmap, __isl_keep isl_basic_set *bset)  in isl_basic_map_check_compatible_range()
3629 	__isl_take isl_basic_map *bmap, __isl_take isl_basic_set *bset)  in isl_basic_map_intersect_range()
3701 isl_bool isl_basic_set_contains(__isl_keep isl_basic_set *bset,  in isl_basic_set_contains()
4164 	__isl_take isl_basic_set *bset,  in isl_basic_set_insert_dims()
4181 __isl_give isl_basic_set *isl_basic_set_add_dims(__isl_take isl_basic_set *bset,  in isl_basic_set_add_dims()
4360 __isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set *bset,  in isl_basic_set_move_dims()
4618 	__isl_take isl_basic_set *bset, enum isl_dim_type type,  in isl_basic_set_project_out()
4854 __isl_give isl_basic_set *isl_basic_set_apply(__isl_take isl_basic_set *bset,  in isl_basic_set_apply()
5017 __isl_give isl_basic_set *isl_basic_set_neg(__isl_take isl_basic_set *bset)  in isl_basic_set_neg()
5698 		__isl_take isl_basic_set *bset)  in isl_basic_set_underlying_set()
5718 		isl_basic_set *bset;  in isl_basic_map_list_underlying_set()  local
5732 	__isl_take isl_basic_set *bset, __isl_take isl_basic_map *like)  in isl_basic_map_overlying_set()
5800 	__isl_take isl_basic_set *bset, __isl_take isl_basic_set *like)  in isl_basic_set_from_underlying_set()
5874 	__isl_take isl_basic_set *bset, __isl_take isl_space *space)  in isl_basic_set_reset_space()
5961 __isl_give isl_basic_set *isl_basic_set_params(__isl_take isl_basic_set *bset)  in isl_basic_set_params()
5986 	__isl_take isl_basic_set *bset)  in isl_basic_set_from_params()
6234 	__isl_take isl_basic_set *bset)  in isl_basic_map_from_domain()
6240 	__isl_take isl_basic_set *bset)  in isl_basic_map_from_range()
6326 	struct isl_basic_set *bset;  in isl_basic_set_empty()  local
6342 	struct isl_basic_set *bset;  in isl_basic_set_universe()  local
6584 __isl_give isl_basic_set *isl_basic_set_fix_val(__isl_take isl_basic_set *bset,  in isl_basic_set_fix_val()
6590 __isl_give isl_basic_set *isl_basic_set_fix_si(__isl_take isl_basic_set *bset,  in isl_basic_set_fix_si()
6597 __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *bset,  in isl_basic_set_fix()
7185 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,  in isl_basic_set_bound()
7196 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,  in isl_basic_set_bound_val()
7216 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,  in isl_basic_set_lower_bound_val()
7225 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos,  in isl_basic_set_upper_bound_val()
7453 __isl_give isl_set *isl_basic_set_lexopt(__isl_take isl_basic_set *bset,  in isl_basic_set_lexopt()
7464 __isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *bset)  in isl_basic_set_lexmin()
7469 __isl_give isl_set *isl_basic_set_lexmax(__isl_take isl_basic_set *bset)  in isl_basic_set_lexmax()
7481 	__isl_take isl_basic_set *bset)  in isl_basic_set_lexmin_compute_divs()
7596 	__isl_take isl_basic_set *bset, __isl_take isl_mat *mat)  in basic_set_parameter_preimage()
7664 	__isl_take isl_basic_set *bset, __isl_take isl_mat *eq)  in basic_set_append_equalities()
7728 static int first_parameter_equality(__isl_keep isl_basic_set *bset)  in first_parameter_equality()
7760 static __isl_give isl_set *base_compute_divs(__isl_take isl_basic_set *bset)  in base_compute_divs()
7807 	__isl_take isl_basic_set *bset)  in parameter_compute_divs()
7973 	struct isl_basic_set *bset;  in compute_divs()  local
8085 int isl_basic_set_first_unknown_div(__isl_keep isl_basic_set *bset)  in isl_basic_set_first_unknown_div()
8187 __isl_give isl_set *isl_basic_set_compute_divs(__isl_take isl_basic_set *bset)  in isl_basic_set_compute_divs()
8363 		__isl_take isl_basic_set *bset))  in map_intersect_set()
8767 	struct isl_basic_set *bset;  in isl_basic_map_deltas()  local
9001 	struct isl_basic_set *bset;  in isl_basic_set_positive_orthant()  local
9298 	__isl_keep isl_basic_set *bset)  in isl_set_basic_set_check_equal_space()
9379 isl_bool isl_basic_set_plain_is_universe(__isl_keep isl_basic_set *bset)  in isl_basic_set_plain_is_universe()
9438 isl_bool isl_basic_set_is_universe(__isl_keep isl_basic_set *bset)  in isl_basic_set_is_universe()
9466 	struct isl_basic_set *bset = NULL;  in isl_basic_map_is_empty()  local
9516 isl_bool isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset)  in isl_basic_set_plain_is_empty()
9543 isl_bool isl_basic_set_is_empty(__isl_keep isl_basic_set *bset)  in isl_basic_set_is_empty()
9628 	__isl_take isl_basic_set *bset)  in isl_basic_set_sort_divs()
9699 	__isl_take isl_basic_set *bset, __isl_take isl_mat *div, int *exp)  in isl_basic_set_expand_divs()
10179 	__isl_keep isl_basic_set *bset, unsigned pos, isl_int *val)  in isl_basic_set_plain_has_fixed_var()
10303 isl_bool isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset,  in isl_basic_set_plain_dim_is_fixed()
10397 	__isl_take isl_basic_set *bset)  in isl_basic_set_sort_constraints()
10734 	isl_basic_set *bset;  in isl_basic_set_list_union()  local
11301 uint32_t isl_basic_set_get_hash(__isl_keep isl_basic_set *bset)  in isl_basic_set_get_hash()
11363 	isl_stat (*fn)(__isl_take isl_basic_set *bset, void *user), void *user)  in isl_set_foreach_basic_set()
11380 	isl_bool (*test)(__isl_keep isl_basic_set *bset, void *user),  in isl_set_every_basic_set()
11412 		isl_basic_set *bset;  in isl_set_get_basic_set_list()  local
11421 __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset)  in isl_basic_set_lift()
11484 int isl_basic_set_size(__isl_keep isl_basic_set *bset)  in isl_basic_set_size()
11679 isl_stat isl_basic_set_vars_get_sign(__isl_keep isl_basic_set *bset,  in isl_basic_set_vars_get_sign()
11737 isl_stat isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset,  in isl_basic_set_dims_get_sign()
12157 isl_bool isl_basic_set_is_box(__isl_keep isl_basic_set *bset)  in isl_basic_set_is_box()
12210 isl_bool isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset)  in isl_basic_set_is_wrapping()
12302 __isl_give isl_basic_map *isl_basic_set_unwrap(__isl_take isl_basic_set *bset)  in isl_basic_set_unwrap()
12388 __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *bset)  in isl_basic_set_flatten()
12644 isl_bool isl_basic_set_space_has_equal_params(__isl_keep isl_basic_set *bset,  in isl_basic_set_space_has_equal_params()
12676 	__isl_take isl_basic_set *bset, __isl_take isl_space *model)  in isl_basic_set_align_params()
12702 	__isl_take isl_basic_set *bset)  in isl_basic_set_drop_unused_params()
13085 	__isl_keep isl_basic_set *bset, enum isl_dim_type c1,  in isl_basic_set_equalities_matrix()
13093 	__isl_keep isl_basic_set *bset, enum isl_dim_type c1,  in isl_basic_set_inequalities_matrix()
13587 __isl_give isl_aff *isl_basic_set_get_div(__isl_keep isl_basic_set *bset,  in isl_basic_set_get_div()
13951 	__isl_take isl_basic_set *bset, __isl_take isl_multi_aff *ma)  in isl_basic_set_preimage_multi_aff()
14479 	__isl_keep isl_basic_set *bset)  in isl_basic_set_extract_equalities()
14563 	__isl_keep isl_basic_set *bset, int ineq)  in is_internal()
14603 	__isl_take isl_basic_set *bset, __isl_keep isl_vec *vec)  in isl_basic_set_tighten_outward()
14676 	__isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned first,  in isl_basic_set_transform_dims()