106 __isl_keep isl_space *isl_set_peek_space(__isl_keep isl_set *set)  in isl_set_peek_space()
130 isl_size isl_set_dim(__isl_keep isl_set *set, enum isl_dim_type type)  in isl_set_dim()
137 isl_size isl_set_tuple_dim(__isl_keep isl_set *set)  in isl_set_tuple_dim()
221 isl_size isl_set_n_dim(__isl_keep isl_set *set)  in isl_set_n_dim()
226 isl_size isl_set_n_param(__isl_keep isl_set *set)  in isl_set_n_param()
306 	__isl_keep isl_set *set)  in isl_map_set_has_equal_params()
327 	enum isl_dim_type type, __isl_keep isl_set *set)  in isl_map_set_tuple_is_equal()
333 	__isl_keep isl_set *set)  in isl_map_compatible_domain()
357 	__isl_keep isl_set *set)  in isl_map_compatible_range()
395 isl_ctx *isl_set_get_ctx(__isl_keep isl_set *set)  in isl_set_get_ctx()
602 __isl_give isl_space *isl_set_get_space(__isl_keep isl_set *set)  in isl_set_get_space()
746 __isl_give isl_set *isl_set_set_tuple_name(__isl_take isl_set *set,  in isl_set_set_tuple_name()
781 __isl_give isl_set *isl_set_set_tuple_id(__isl_take isl_set *set,  in isl_set_set_tuple_id()
799 __isl_give isl_set *isl_set_reset_tuple_id(__isl_take isl_set *set)  in isl_set_reset_tuple_id()
843 isl_bool isl_set_has_tuple_id(__isl_keep isl_set *set)  in isl_set_has_tuple_id()
848 __isl_give isl_id *isl_set_get_tuple_id(__isl_keep isl_set *set)  in isl_set_get_tuple_id()
855 isl_bool isl_set_has_tuple_name(__isl_keep isl_set *set)  in isl_set_has_tuple_name()
868 const char *isl_set_get_tuple_name(__isl_keep isl_set *set)  in isl_set_get_tuple_name()
901 const char *isl_set_get_dim_name(__isl_keep isl_set *set,  in isl_set_get_dim_name()
909 isl_bool isl_set_has_dim_name(__isl_keep isl_set *set,  in isl_set_has_dim_name()
963 __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set,  in isl_set_set_dim_name()
996 isl_bool isl_set_has_dim_id(__isl_keep isl_set *set,  in isl_set_has_dim_id()
1002 __isl_give isl_id *isl_set_get_dim_id(__isl_keep isl_set *set,  in isl_set_get_dim_id()
1020 __isl_give isl_set *isl_set_set_dim_id(__isl_take isl_set *set,  in isl_set_set_dim_id()
1034 int isl_set_find_dim_by_id(__isl_keep isl_set *set, enum isl_dim_type type,  in isl_set_find_dim_by_id()
1060 int isl_set_find_dim_by_name(__isl_keep isl_set *set, enum isl_dim_type type,  in isl_set_find_dim_by_name()
1129 __isl_give isl_set *isl_set_reset_user(__isl_take isl_set *set)  in isl_set_reset_user()
1180 isl_bool isl_set_is_rational(__isl_keep isl_set *set)  in isl_set_is_rational()
1253 isl_bool isl_set_has_rational(__isl_keep isl_set *set)  in isl_set_has_rational()
1269 isl_bool isl_set_is_params(__isl_keep isl_set *set)  in isl_set_is_params()
1469 __isl_give isl_set *isl_set_copy(__isl_keep isl_set *set)  in isl_set_copy()
2081 __isl_give isl_set *isl_set_cow(__isl_take isl_set *set)  in isl_set_cow()
2274 __isl_give isl_set *isl_set_set_rational(__isl_take isl_set *set)  in isl_set_set_rational()
2317 static void constraint_drop_vars(isl_int *c, unsigned n, unsigned rem)  in constraint_drop_vars()
2371 isl_stat isl_set_check_range(__isl_keep isl_set *set,  in isl_set_check_range()
2391 	unsigned offset;  in isl_basic_map_drop_core()  local
2503 __isl_give isl_set *isl_set_drop(__isl_take isl_set *set,  in isl_set_drop()
2555 __isl_give isl_set *isl_set_eliminate(__isl_take isl_set *set,  in isl_set_eliminate()
2565 __isl_give isl_set *isl_set_eliminate_dims(__isl_take isl_set *set,  in isl_set_eliminate_dims()
2616 __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set)  in isl_set_remove_divs()
2927 __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set,  in isl_set_remove_divs_involving_dims()
2989 isl_bool isl_set_involves_dims(__isl_keep isl_set *set,  in isl_set_involves_dims()
3017 isl_bool isl_set_involves_locals(__isl_keep isl_set *set)  in isl_set_involves_locals()
3218 	__isl_take isl_set *set,  in isl_set_drop_constraints_involving_dims()
3228 	__isl_take isl_set *set,  in isl_set_drop_constraints_not_involving_dims()
3317 __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set)  in isl_set_remove_unknown_divs()
3480 __isl_give isl_set *isl_set_grow(__isl_take isl_set *set, int n)  in isl_set_grow()
3509 __isl_give isl_set *isl_set_add_basic_set(__isl_take isl_set *set,  in isl_set_add_basic_set()
3516 __isl_null isl_set *isl_set_free(__isl_take isl_set *set)  in isl_set_free()
3521 void isl_set_print_internal(__isl_keep isl_set *set, FILE *out, int indent)  in isl_set_print_internal()
3985 __isl_give isl_set *isl_set_intersect_params(__isl_take isl_set *set,  in isl_set_intersect_params()
4019 	isl_size offset, n1, n2;  in isl_basic_map_reverse_wrapped()  local
4236 __isl_give isl_set *isl_set_insert_dims(__isl_take isl_set *set,  in isl_set_insert_dims()
4253 __isl_give isl_set *isl_set_add_dims(__isl_take isl_set *set,  in isl_set_add_dims()
4370 __isl_give isl_set *isl_set_move_dims(__isl_take isl_set *set,  in isl_set_move_dims()
4688 __isl_give isl_set *isl_set_project_out(__isl_take isl_set *set,  in isl_set_project_out()
4698 __isl_give isl_set *isl_set_project_out_param_id(__isl_take isl_set *set,  in isl_set_project_out_param_id()
4707 __isl_give isl_set *isl_set_project_out_param_id_list(__isl_take isl_set *set,  in isl_set_project_out_param_id_list()
4720 __isl_give isl_set *isl_set_project_out_all_params(__isl_take isl_set *set)  in isl_set_project_out_all_params()
4729 __isl_give isl_map *isl_set_project_onto_map(__isl_take isl_set *set,  in isl_set_project_onto_map()
5044 __isl_give isl_set *isl_set_neg(__isl_take isl_set *set)  in isl_set_neg()
5953 __isl_give isl_set *isl_set_reset_space(__isl_take isl_set *set,  in isl_set_reset_space()
5997 __isl_give isl_set *isl_set_params(__isl_take isl_set *set)  in isl_set_params()
6004 __isl_give isl_set *isl_set_from_params(__isl_take isl_set *set)  in isl_set_from_params()
6216 __isl_give isl_map *isl_set_wrapped_domain_map(__isl_take isl_set *set)  in isl_set_wrapped_domain_map()
6253 __isl_give isl_map *isl_map_from_range(__isl_take isl_set *set)  in isl_map_from_range()
6266 __isl_give isl_map *isl_map_from_domain(__isl_take isl_set *set)  in isl_map_from_domain()
6417 	struct isl_set *set;  in isl_set_universe()  local
6683 __isl_give isl_set *isl_set_fix_si(__isl_take isl_set *set,  in isl_set_fix_si()
6709 __isl_give isl_set *isl_set_fix(__isl_take isl_set *set,  in isl_set_fix()
6751 __isl_give isl_set *isl_set_fix_val(__isl_take isl_set *set,  in isl_set_fix_val()
6763 __isl_give isl_set *isl_set_fix_dim_si(__isl_take isl_set *set, unsigned dim,  in isl_set_fix_dim_si()
6852 __isl_give isl_set *isl_set_lower_bound_si(__isl_take isl_set *set,  in isl_set_lower_bound_si()
6859 __isl_give isl_set *isl_set_upper_bound_si(__isl_take isl_set *set,  in isl_set_upper_bound_si()
6934 __isl_give isl_set *isl_set_lower_bound(__isl_take isl_set *set,  in isl_set_lower_bound()
6940 __isl_give isl_set *isl_set_upper_bound(__isl_take isl_set *set,  in isl_set_upper_bound()
6969 __isl_give isl_set *isl_set_lower_bound_val(__isl_take isl_set *set,  in isl_set_lower_bound_val()
7001 __isl_give isl_set *isl_set_upper_bound_val(__isl_take isl_set *set,  in isl_set_upper_bound_val()
7029 static __isl_give isl_set *set_bound_multi_val(__isl_take isl_set *set,  in set_bound_multi_val()
7048 static __isl_give isl_set *set_bound_multi_pw_aff(__isl_take isl_set *set,  in set_bound_multi_pw_aff()
7073 __isl_give isl_set *isl_set_lower_bound_multi_val(__isl_take isl_set *set,  in isl_set_lower_bound_multi_val()
7091 __isl_give isl_set *isl_set_upper_bound_multi_val(__isl_take isl_set *set,  in isl_set_upper_bound_multi_val()
7145 __isl_give isl_set *isl_set_lower_bound_multi_pw_aff(__isl_take isl_set *set,  in isl_set_lower_bound_multi_pw_aff()
7155 __isl_give isl_set *isl_set_upper_bound_multi_pw_aff(__isl_take isl_set *set,  in isl_set_upper_bound_multi_pw_aff()
7255 __isl_give isl_set *isl_set_wrapped_reverse(__isl_take isl_set *set)  in isl_set_wrapped_reverse()
7435 		__isl_take isl_set *set, __isl_take isl_set *dom,  in isl_set_partial_lexmin()
7443 		__isl_take isl_set *set, __isl_take isl_set *dom,  in isl_set_partial_lexmax()
7570 static __isl_give isl_pw_aff *set_dim_opt(__isl_take isl_set *set, int pos,  in set_dim_opt()
7579 __isl_give isl_pw_aff *isl_set_dim_max(__isl_take isl_set *set, int pos)  in isl_set_dim_max()
7587 __isl_give isl_pw_aff *isl_set_dim_min(__isl_take isl_set *set, int pos)  in isl_set_dim_min()
7627 static __isl_give isl_set *set_parameter_preimage(__isl_take isl_set *set,  in set_parameter_preimage()
7699 static __isl_give isl_set *set_append_equalities(__isl_take isl_set *set,  in set_append_equalities()
7763 	isl_set *set;  in base_compute_divs()  local
7812 	struct isl_set *set;  in parameter_compute_divs()  local
7974 	struct isl_set *set;  in compute_divs()  local
8192 __isl_give isl_set *isl_set_compute_divs(__isl_take isl_set *set)  in isl_set_compute_divs()
8361 	__isl_take isl_space *space, __isl_take isl_set *set,  in map_intersect_set()
8394 	__isl_take isl_set *set)  in isl_map_intersect_range()
8422 	__isl_take isl_set *set)  in isl_map_intersect_domain()
8594 __isl_give isl_set *isl_set_intersect_factor_domain(__isl_take isl_set *set,  in isl_set_intersect_factor_domain()
8613 __isl_give isl_set *isl_set_intersect_factor_range(__isl_take isl_set *set,  in isl_set_intersect_factor_range()
8983 __isl_give isl_map *isl_set_identity(__isl_take isl_set *set)  in isl_set_identity()
9075 __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set,  in isl_set_split_dims()
9079 	unsigned offset;  in isl_set_split_dims()  local
9101 static isl_stat foreach_orthant(__isl_take isl_set *set, int *signs, int first,  in foreach_orthant()
9139 isl_stat isl_set_foreach_orthant(__isl_keep isl_set *set,  in isl_set_foreach_orthant()
9243 isl_bool isl_set_plain_is_empty(__isl_keep isl_set *set)  in isl_set_plain_is_empty()
9248 isl_bool isl_set_is_empty(__isl_keep isl_set *set)  in isl_set_is_empty()
9297 isl_stat isl_set_basic_set_check_equal_space(__isl_keep isl_set *set,  in isl_set_basic_set_check_equal_space()
9387 static isl_stat involves_divs(__isl_take isl_constraint *c, void *user)  in involves_divs()
9459 isl_bool isl_set_plain_is_universe(__isl_keep isl_set *set)  in isl_set_plain_is_universe()
9842 __isl_give isl_set *isl_set_align_divs(__isl_take isl_set *set)  in isl_set_align_divs()
9903 __isl_give isl_set *isl_set_apply( __isl_take isl_set *set,  in isl_set_apply()
9940 __isl_give isl_set *isl_set_remove_empty_parts(__isl_take isl_set *set)  in isl_set_remove_empty_parts()
10264 __isl_give isl_val *isl_set_plain_get_val_if_fixed(__isl_keep isl_set *set,  in isl_set_plain_get_val_if_fixed()
10277 	__isl_keep isl_set *set)  in isl_set_get_plain_multi_val_if_fixed()
10613 __isl_give isl_set *isl_set_normalize(__isl_take isl_set *set)  in isl_set_normalize()
10735 	isl_set *set;  in isl_basic_set_list_union()  local
10768 	isl_set *set;  in isl_set_list_union()  local
11330 uint32_t isl_set_get_hash(__isl_keep isl_set *set)  in isl_set_get_hash()
11342 isl_size isl_set_n_basic_set(__isl_keep isl_set *set)  in isl_set_n_basic_set()
11362 isl_stat isl_set_foreach_basic_set(__isl_keep isl_set *set,  in isl_set_foreach_basic_set()
11379 isl_bool isl_set_every_basic_set(__isl_keep isl_set *set,  in isl_set_every_basic_set()
11402 	__isl_keep isl_set *set)  in isl_set_get_basic_set_list()
11449 __isl_give isl_set *isl_set_lift(__isl_take isl_set *set)  in isl_set_lift()
11499 int isl_set_size(__isl_keep isl_set *set)  in isl_set_size()
11587 isl_bool isl_set_dim_is_bounded(__isl_keep isl_set *set,  in isl_set_dim_is_bounded()
11617 isl_bool isl_set_dim_has_any_lower_bound(__isl_keep isl_set *set,  in isl_set_dim_has_any_lower_bound()
11626 isl_bool isl_set_dim_has_any_upper_bound(__isl_keep isl_set *set,  in isl_set_dim_has_any_upper_bound()
11657 isl_bool isl_set_dim_has_lower_bound(__isl_keep isl_set *set,  in isl_set_dim_has_lower_bound()
11665 isl_bool isl_set_dim_has_upper_bound(__isl_keep isl_set *set,  in isl_set_dim_has_upper_bound()
11798 	isl_int *c, int first, int n)  in first_div_may_involve_output()
12108 isl_bool isl_set_is_singleton(__isl_keep isl_set *set)  in isl_set_is_singleton()
12200 isl_bool isl_set_is_box(__isl_keep isl_set *set)  in isl_set_is_box()
12218 isl_bool isl_set_is_wrapping(__isl_keep isl_set *set)  in isl_set_is_wrapping()
12323 __isl_give isl_map *isl_set_unwrap(__isl_take isl_set *set)  in isl_set_unwrap()
12434 __isl_give isl_set *isl_set_flatten(__isl_take isl_set *set)  in isl_set_flatten()
12439 __isl_give isl_map *isl_set_flatten_map(__isl_take isl_set *set)  in isl_set_flatten_map()
12551 __isl_give isl_set *isl_set_realign(__isl_take isl_set *set,  in isl_set_realign()
12592 __isl_give isl_set *isl_set_align_params(__isl_take isl_set *set,  in isl_set_align_params()
12666 isl_bool isl_set_space_has_equal_params(__isl_keep isl_set *set,  in isl_set_space_has_equal_params()
12689 	__isl_take isl_set *set)  in isl_set_drop_unused_params()
12714 static __isl_give isl_set *equate_params(__isl_take isl_set *set,  in equate_params()
12753 __isl_give isl_set *isl_set_bind(__isl_take isl_set *set,  in isl_set_bind()
12816 	isl_set *set;  in isl_map_bind_domain()  local
12847 	__isl_take isl_set *set, __isl_take isl_multi_id *tuple)  in unbind_params_insert_domain()
12863 __isl_give isl_set *isl_set_unbind_params(__isl_take isl_set *set,  in isl_set_unbind_params()
12879 static isl_stat isl_set_check_is_set(__isl_keep isl_set *set)  in isl_set_check_is_set()
12898 	__isl_take isl_set *set, __isl_take isl_multi_id *domain)  in isl_set_unbind_params_insert_domain()
12907 __isl_give isl_map *isl_set_insert_domain(__isl_take isl_set *set,  in isl_set_insert_domain()
12935 	enum isl_dim_type c[5] = { c1, c2, c3, c4, c5 };  in isl_basic_map_equalities_matrix()  enum
12968 	enum isl_dim_type c[5] = { c1, c2, c3, c4, c5 };  in isl_basic_map_inequalities_matrix()  enum
13002 	enum isl_dim_type c[5] = { c1, c2, c3, c4, c5 };  in isl_basic_map_from_constraint_matrices()  enum
13313 __isl_give isl_set *isl_set_equate(__isl_take isl_set *set,  in isl_set_equate()
13427 	isl_constraint *c;  in constraint_order_ge()  local
13452 	isl_constraint *c;  in isl_basic_map_order_ge()  local
13470 	isl_constraint *c;  in isl_map_order_ge()  local
13595 __isl_give isl_set *isl_set_substitute(__isl_take isl_set *set,  in isl_set_substitute()
13782 	enum isl_dim_type type, __isl_take isl_space *set)  in isl_space_set()
14089 __isl_give isl_set *isl_set_preimage_multi_aff(__isl_take isl_set *set,  in isl_set_preimage_multi_aff()
14216 __isl_give isl_set *isl_set_preimage_pw_multi_aff(__isl_take isl_set *set,  in isl_set_preimage_pw_multi_aff()
14309 __isl_give isl_set *isl_set_preimage_multi_pw_aff(__isl_take isl_set *set,  in isl_set_preimage_multi_pw_aff()
14372 	isl_int *c, int v_out, int d, int v_div, int total)  in is_potential_div_constraint()