Lines Matching defs:set
107 __isl_give isl_set *isl_set_remove_redundancies(__isl_take isl_set *set) in isl_set_remove_redundancies()
116 static isl_bool uset_is_bound(__isl_keep isl_set *set, isl_int *c, unsigned len) in uset_is_bound()
161 __isl_take isl_set *set, isl_int *c) in isl_set_add_basic_set_equality()
196 static __isl_give isl_basic_set *wrap_constraints(__isl_keep isl_set *set) in wrap_constraints()
308 isl_int *isl_set_wrap_facet(__isl_keep isl_set *set, in isl_set_wrap_facet()
389 static __isl_give isl_mat *initial_facet_constraint(__isl_keep isl_set *set) in initial_facet_constraint()
482 static __isl_give isl_basic_set *compute_facet(__isl_keep isl_set *set, in compute_facet()
540 __isl_keep isl_set *set) in extend()
600 static __isl_give isl_basic_set *convex_hull_1d(__isl_take isl_set *set) in convex_hull_1d()
720 static __isl_give isl_basic_set *convex_hull_0d(__isl_take isl_set *set) in convex_hull_0d()
850 isl_bool isl_set_is_bounded(__isl_keep isl_set *set) in isl_set_is_bounded()
949 static __isl_give isl_basic_set *modulo_lineality(__isl_take isl_set *set, in modulo_lineality()
1231 struct isl_set *set; in convex_hull_pair_pointed() local
1323 struct isl_set *set; in convex_hull_pair() local
1398 __isl_take isl_set *set) in isl_set_combined_lineality_space()
1428 __isl_take isl_set *set) in uset_convex_hull_unbounded()
1487 __isl_keep isl_set *set) in initial_hull()
1616 __isl_take isl_basic_set *hull, __isl_keep isl_set *set, int *is_hull) in common_constraints()
1751 static __isl_give isl_basic_set *proto_hull(__isl_keep isl_set *set, in proto_hull()
1770 static __isl_give isl_basic_set *uset_convex_hull_wrap(__isl_take isl_set *set) in uset_convex_hull_wrap()
1792 static __isl_give isl_basic_set *uset_convex_hull(__isl_take isl_set *set) in uset_convex_hull()
1847 __isl_take isl_set *set) in uset_convex_hull_wrap_bounded()
1888 __isl_take isl_set *set, __isl_take isl_basic_set *affine_hull) in modulo_affine_hull()
1936 struct isl_set *set = NULL; in isl_map_convex_hull() local
1975 __isl_give isl_basic_set *isl_set_convex_hull(__isl_take isl_set *set) in isl_set_convex_hull()
1988 __isl_give isl_basic_set *isl_set_polyhedral_hull(__isl_take isl_set *set) in isl_set_polyhedral_hull()
2085 static struct sh_data *sh_data_alloc(__isl_keep isl_set *set, unsigned n_ineq) in sh_data_alloc()
2124 static int is_bound(struct sh_data *data, __isl_keep isl_set *set, int j, in is_bound()
2167 __isl_keep isl_set *set, in set_max_constant_term()
2221 struct sh_data *data, __isl_keep isl_set *set, int i, isl_int *ineq, in add_bound()
2308 struct sh_data *data, __isl_keep isl_set *set, int i, int shift) in add_bounds()
2332 static __isl_give isl_basic_set *uset_simple_hull(__isl_take isl_set *set, in uset_simple_hull()
2428 struct isl_set *set = NULL; in map_simple_hull() local
2479 __isl_give isl_basic_set *isl_set_simple_hull(__isl_take isl_set *set) in isl_set_simple_hull()
2494 __isl_take isl_set *set) in isl_set_unshifted_simple_hull()
2680 __isl_take isl_set *set) in isl_set_plain_unshifted_simple_hull()
2696 __isl_keep isl_set *set, isl_int *ineq) in add_bound_from_constraint()
2772 __isl_take isl_set *set, int n_ineq, isl_int **ineq) in uset_unshifted_simple_hull_from_constraints()
2882 __isl_take isl_set *set, __isl_take isl_basic_set_list *list) in uset_unshifted_simple_hull_from_basic_set_list()
2955 isl_set *set; in map_unshifted_simple_hull_from_basic_map_list() local
3059 __isl_take isl_set *set, __isl_take isl_set_list *list) in isl_set_unshifted_simple_hull_from_set_list()
3066 static __isl_give isl_basic_set *set_bounds(__isl_keep isl_set *set, int dim) in set_bounds()
3081 __isl_give isl_basic_set *isl_set_bounded_simple_hull(__isl_take isl_set *set) in isl_set_bounded_simple_hull()