Lines Matching defs:bset
61 __isl_keep const isl_basic_set *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()
169 unsigned isl_basic_set_offset(__isl_keep isl_basic_set *bset, in isl_basic_set_offset()
180 isl_size isl_basic_set_dim(__isl_keep isl_basic_set *bset, 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()
191 isl_size isl_basic_set_n_param(__isl_keep isl_basic_set *bset) 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()
236 isl_size isl_basic_set_n_equality(__isl_keep isl_basic_set *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()
294 enum isl_dim_type type, __isl_keep isl_basic_set *bset) in isl_basic_map_set_tuple_is_equal()
325 __isl_keep isl_basic_set *bset) in isl_basic_map_compatible_domain()
349 __isl_keep isl_basic_set *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()
390 __isl_keep isl_space *isl_basic_set_peek_space(__isl_keep isl_basic_set *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()
485 __isl_give isl_mat *isl_basic_set_get_divs(__isl_keep isl_basic_set *bset) in isl_basic_set_get_divs()
503 __isl_keep isl_basic_set *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()
708 __isl_take isl_basic_set *bset, __isl_take isl_id *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()
815 const char *isl_basic_set_get_dim_name(__isl_keep isl_basic_set *bset, in isl_basic_set_get_dim_name()
892 __isl_take isl_basic_set *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()
1009 isl_bool isl_basic_set_eq_is_stride(__isl_keep isl_basic_set *bset, int i) 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()
1196 isl_bool isl_basic_set_is_params(__isl_keep isl_basic_set *bset) 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()
1400 __isl_give isl_basic_set *isl_basic_set_copy(__isl_keep isl_basic_set *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()
1477 isl_stat isl_basic_set_check_no_params(__isl_keep isl_basic_set *bset) 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()
1608 int isl_basic_set_alloc_equality(__isl_keep isl_basic_set *bset) in isl_basic_set_alloc_equality()
1627 __isl_take isl_basic_set *bset, unsigned n) 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()
1722 __isl_take isl_basic_set *bset, unsigned n) 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()
1778 __isl_give isl_basic_set *isl_basic_set_add_eq(__isl_take isl_basic_set *bset, 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()
1825 int isl_basic_set_alloc_div(__isl_keep isl_basic_set *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()
1989 __isl_give isl_basic_set *isl_basic_set_cow(__isl_take isl_basic_set *bset) in isl_basic_set_cow()
2149 __isl_take isl_basic_set *bset) in isl_basic_set_set_to_empty()
2173 __isl_take isl_basic_set *bset) in isl_basic_set_set_rational()
2179 __isl_take isl_basic_set *bset) in isl_basic_set_set_integral()
2271 __isl_take isl_basic_set *bset, unsigned first, unsigned 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()
2527 __isl_take isl_basic_set *bset) in isl_basic_set_remove_divs()
2831 __isl_take isl_basic_set *bset, 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()
2933 static isl_bool isl_basic_set_involves_locals(__isl_keep isl_basic_set *bset) 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()
3003 __isl_take isl_basic_set *bset, unsigned first, unsigned n) in isl_basic_set_drop_constraints_involving()
3053 __isl_take isl_basic_set *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()
3224 __isl_take isl_basic_set *bset) in isl_basic_set_remove_unknown_divs()
3259 __isl_take isl_basic_set *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()
3306 void isl_basic_set_print_internal(__isl_keep isl_basic_set *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()
3438 __isl_take isl_basic_set *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()
3508 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *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()
3557 __isl_take isl_basic_map *bmap, __isl_take isl_basic_set *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()
4012 __isl_take isl_basic_set *bset, 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()
4208 __isl_give isl_basic_set *isl_basic_set_move_dims(__isl_take isl_basic_set *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()
4727 __isl_give isl_basic_set *isl_basic_set_apply(__isl_take isl_basic_set *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()
5571 __isl_take isl_basic_set *bset) in isl_basic_set_underlying_set()
5591 isl_basic_set *bset; in isl_basic_map_list_underlying_set() local
5605 __isl_take isl_basic_set *bset, __isl_take isl_basic_map *like) 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()
5747 __isl_take isl_basic_set *bset, __isl_take isl_space *space) 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()
5859 __isl_take isl_basic_set *bset) in isl_basic_set_from_params()
6107 __isl_take isl_basic_set *bset) in isl_basic_map_from_domain()
6113 __isl_take isl_basic_set *bset) in isl_basic_map_from_range()
6199 struct isl_basic_set *bset; in isl_basic_set_empty() local
6215 struct isl_basic_set *bset; in isl_basic_set_universe() local
6441 __isl_give isl_basic_set *isl_basic_set_fix_val(__isl_take isl_basic_set *bset, 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()
6454 __isl_give isl_basic_set *isl_basic_set_fix(__isl_take isl_basic_set *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()
7059 __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos, 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()
7088 __isl_take isl_basic_set *bset, enum isl_dim_type type, unsigned pos, 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()
7308 __isl_give isl_set *isl_basic_set_lexmin(__isl_take isl_basic_set *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()
7325 __isl_take isl_basic_set *bset) in isl_basic_set_lexmin_compute_divs()
7440 __isl_take isl_basic_set *bset, __isl_take isl_mat *mat) in basic_set_parameter_preimage()
7508 __isl_take isl_basic_set *bset, __isl_take isl_mat *eq) in basic_set_append_equalities()
7572 static int first_parameter_equality(__isl_keep isl_basic_set *bset) in first_parameter_equality()
7604 static __isl_give isl_set *base_compute_divs(__isl_take isl_basic_set *bset) in base_compute_divs()
7651 __isl_take isl_basic_set *bset) in parameter_compute_divs()
7817 struct isl_basic_set *bset; in compute_divs() local
7929 int isl_basic_set_first_unknown_div(__isl_keep isl_basic_set *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()
8207 __isl_take isl_basic_set *bset)) in map_intersect_set()
8542 struct isl_basic_set *bset; in isl_basic_map_deltas() local
8751 struct isl_basic_set *bset; in isl_basic_set_positive_orthant() local
9047 __isl_keep isl_basic_set *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()
9187 isl_bool isl_basic_set_is_universe(__isl_keep isl_basic_set *bset) in isl_basic_set_is_universe()
9215 struct isl_basic_set *bset = NULL; in isl_basic_map_is_empty() local
9265 isl_bool isl_basic_set_plain_is_empty(__isl_keep isl_basic_set *bset) 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()
9377 __isl_take isl_basic_set *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()
9925 __isl_keep isl_basic_set *bset, unsigned pos, isl_int *val) 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()
10143 __isl_take isl_basic_set *bset) in isl_basic_set_sort_constraints()
10468 isl_basic_set *bset; in isl_basic_set_list_union() local
11035 uint32_t isl_basic_set_get_hash(__isl_keep isl_basic_set *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()
11114 isl_bool (*test)(__isl_keep isl_basic_set *bset, void *user), in isl_set_every_basic_set()
11146 isl_basic_set *bset; in isl_set_get_basic_set_list() local
11155 __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset) in isl_basic_set_lift()
11218 int isl_basic_set_size(__isl_keep isl_basic_set *bset) 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()
11471 isl_stat isl_basic_set_dims_get_sign(__isl_keep isl_basic_set *bset, 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()
11945 isl_bool isl_basic_set_is_wrapping(__isl_keep isl_basic_set *bset) 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()
12123 __isl_give isl_basic_set *isl_basic_set_flatten(__isl_take isl_basic_set *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()
12410 __isl_take isl_basic_set *bset, __isl_take isl_space *model) in isl_basic_set_align_params()
12476 __isl_take isl_basic_set *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()
12867 __isl_keep isl_basic_set *bset, enum isl_dim_type c1, 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()
13394 __isl_take isl_basic_set *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()
14199 __isl_keep isl_basic_set *bset) in isl_basic_set_extract_equalities()
14283 __isl_keep isl_basic_set *bset, int ineq) in is_internal()
14323 __isl_take isl_basic_set *bset, __isl_keep isl_vec *vec) 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()