30 static __isl_give isl_basic_set *uset_convex_hull_wrap_bounded(
92 __isl_give isl_basic_set *isl_basic_set_remove_redundancies(  in isl_basic_set_remove_redundancies()
93 	__isl_take isl_basic_set *bset)  in isl_basic_set_remove_redundancies()
196 static __isl_give isl_basic_set *wrap_constraints(__isl_keep isl_set *set)  in wrap_constraints()
198 	struct isl_basic_set *lp;  in wrap_constraints()
314 	struct isl_basic_set *lp = NULL;  in isl_set_wrap_facet()
392 	struct isl_basic_set *face = NULL;  in initial_facet_constraint()
482 static __isl_give isl_basic_set *compute_facet(__isl_keep isl_set *set,  in compute_facet()
486 	struct isl_basic_set *facet = NULL;  in compute_facet()
539 static __isl_give isl_basic_set *extend(__isl_take isl_basic_set *hull,  in extend()
544 	struct isl_basic_set *facet = NULL;  in extend()
545 	struct isl_basic_set *hull_facet = NULL;  in extend()
600 static __isl_give isl_basic_set *convex_hull_1d(__isl_take isl_set *set)  in convex_hull_1d()
607 	struct isl_basic_set *hull;  in convex_hull_1d()
648 		struct isl_basic_set *bset = set->p[i];  in convex_hull_1d()
720 static __isl_give isl_basic_set *convex_hull_0d(__isl_take isl_set *set)  in convex_hull_0d()
722 	struct isl_basic_set *convex_hull;  in convex_hull_0d()
744 static __isl_give isl_basic_set *convex_hull_pair_elim(  in convex_hull_pair_elim()
745 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)  in convex_hull_pair_elim()
748 	struct isl_basic_set *bset[2];  in convex_hull_pair_elim()
749 	struct isl_basic_set *hull = NULL;  in convex_hull_pair_elim()
810 isl_bool isl_basic_set_is_bounded(__isl_keep isl_basic_set *bset)  in isl_basic_set_is_bounded()
871 static __isl_give isl_basic_set *induced_lineality_space(  in induced_lineality_space()
872 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)  in induced_lineality_space()
875 	struct isl_basic_set *lin = NULL;  in induced_lineality_space()
927 static __isl_give isl_basic_set *uset_convex_hull(__isl_take isl_set *set);
949 static __isl_give isl_basic_set *modulo_lineality(__isl_take isl_set *set,  in modulo_lineality()
950 	__isl_take isl_basic_set *lin)  in modulo_lineality()
954 	struct isl_basic_set *hull;  in modulo_lineality()
993 static __isl_give isl_basic_set *valid_direction_lp(  in valid_direction_lp()
994 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)  in valid_direction_lp()
997 	struct isl_basic_set *lp;  in valid_direction_lp()
1077 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)  in valid_direction()
1079 	struct isl_basic_set *lp;  in valid_direction()
1141 static __isl_give isl_basic_set *homogeneous_map(__isl_take isl_basic_set *bset,  in homogeneous_map()
1223 static __isl_give isl_basic_set *convex_hull_pair_pointed(  in convex_hull_pair_pointed()
1224 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)  in convex_hull_pair_pointed()
1230 	struct isl_basic_set *hull;  in convex_hull_pair_pointed()
1265 static __isl_give isl_basic_set *uset_convex_hull_wrap(__isl_take isl_set *set);
1266 static __isl_give isl_basic_set *modulo_affine_hull(
1267 	__isl_take isl_set *set, __isl_take isl_basic_set *affine_hull);
1282 static __isl_give isl_basic_set *convex_hull_pair(  in convex_hull_pair()
1283 	__isl_take isl_basic_set *bset1, __isl_take isl_basic_set *bset2)  in convex_hull_pair()
1285 	isl_basic_set *lin, *aff;  in convex_hull_pair()
1347 __isl_give isl_basic_set *isl_basic_set_lineality_space(  in isl_basic_set_lineality_space()
1348 	__isl_take isl_basic_set *bset)  in isl_basic_set_lineality_space()
1351 	struct isl_basic_set *lin = NULL;  in isl_basic_set_lineality_space()
1397 __isl_give isl_basic_set *isl_set_combined_lineality_space(  in isl_set_combined_lineality_space()
1427 static __isl_give isl_basic_set *uset_convex_hull_unbounded(  in uset_convex_hull_unbounded()
1437 		struct isl_basic_set *t;  in uset_convex_hull_unbounded()
1438 		isl_basic_set *bset1, *bset2;  in uset_convex_hull_unbounded()
1486 static __isl_give isl_basic_set *initial_hull(__isl_take isl_basic_set *hull,  in initial_hull()
1592 static isl_bool has_facets(__isl_keep isl_basic_set *bset)  in has_facets()
1615 static __isl_give isl_basic_set *common_constraints(  in common_constraints()
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()
1754 	struct isl_basic_set *hull;  in proto_hull()
1770 static __isl_give isl_basic_set *uset_convex_hull_wrap(__isl_take isl_set *set)  in uset_convex_hull_wrap()
1772 	struct isl_basic_set *hull;  in uset_convex_hull_wrap()
1792 static __isl_give isl_basic_set *uset_convex_hull(__isl_take isl_set *set)  in uset_convex_hull()
1796 	struct isl_basic_set *convex_hull = NULL;  in uset_convex_hull()
1797 	struct isl_basic_set *lin;  in uset_convex_hull()
1846 static __isl_give isl_basic_set *uset_convex_hull_wrap_bounded(  in uset_convex_hull_wrap_bounded()
1849 	struct isl_basic_set *convex_hull = NULL;  in uset_convex_hull_wrap_bounded()
1887 static __isl_give isl_basic_set *modulo_affine_hull(  in modulo_affine_hull()
1888 	__isl_take isl_set *set, __isl_take isl_basic_set *affine_hull)  in modulo_affine_hull()
1892 	struct isl_basic_set *dummy;  in modulo_affine_hull()
1893 	struct isl_basic_set *convex_hull;  in modulo_affine_hull()
1932 	struct isl_basic_set *bset;  in isl_map_convex_hull()
1934 	struct isl_basic_set *affine_hull = NULL;  in isl_map_convex_hull()
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()
2064 	__isl_keep isl_basic_set *bset)  in hash_basic_set()
2220 static __isl_give isl_basic_set *add_bound(__isl_take isl_basic_set *hull,  in add_bound()
2307 static __isl_give isl_basic_set *add_bounds(__isl_take isl_basic_set *bset,  in add_bounds()
2332 static __isl_give isl_basic_set *uset_simple_hull(__isl_take isl_set *set,  in uset_simple_hull()
2336 	struct isl_basic_set *hull = NULL;  in uset_simple_hull()
2432 	struct isl_basic_set *bset = NULL;  in map_simple_hull()
2479 __isl_give isl_basic_set *isl_set_simple_hull(__isl_take isl_set *set)  in isl_set_simple_hull()
2493 __isl_give isl_basic_set *isl_set_unshifted_simple_hull(  in isl_set_unshifted_simple_hull()
2679 __isl_give isl_basic_set *isl_set_plain_unshifted_simple_hull(  in isl_set_plain_unshifted_simple_hull()
2694 static __isl_give isl_basic_set *add_bound_from_constraint(  in add_bound_from_constraint()
2695 	__isl_take isl_basic_set *hull, struct sh_data *data,  in add_bound_from_constraint()
2771 static __isl_give isl_basic_set *uset_unshifted_simple_hull_from_constraints(  in uset_unshifted_simple_hull_from_constraints()
2777 	isl_basic_set *hull = NULL;  in uset_unshifted_simple_hull_from_constraints()
2836 		isl_basic_set *bset;  in collect_inequalities()
2881 static __isl_give isl_basic_set *uset_unshifted_simple_hull_from_basic_set_list(  in uset_unshifted_simple_hull_from_basic_set_list()
2890 	isl_basic_set *hull;  in uset_unshifted_simple_hull_from_basic_set_list()
2900 		isl_basic_set *bset;  in uset_unshifted_simple_hull_from_basic_set_list()
3058 __isl_give isl_basic_set *isl_set_unshifted_simple_hull_from_set_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()
3084 	struct isl_basic_set *hull;  in isl_set_bounded_simple_hull()
3098 		struct isl_basic_set *bounds;  in isl_set_bounded_simple_hull()