214 static __isl_give isl_basic_set *rational_universe(__isl_take isl_space *space)  in rational_universe()
216 	isl_basic_set *bset;  in rational_universe()
237 static __isl_give isl_basic_set *farkas(__isl_take isl_basic_set *bset,  in farkas()
243 	isl_basic_set *dual = NULL;  in farkas()
321 static __isl_give isl_basic_set *isl_basic_set_coefficients_base(  in isl_basic_set_coefficients_base()
322 	__isl_take isl_basic_set *bset)  in isl_basic_set_coefficients_base()
356 	isl_basic_set *coeff;
414 static int is_ray(__isl_keep isl_basic_set *bset, int ineq)  in is_ray()
426 	__isl_keep isl_basic_set *bset, void *user)  in isl_basic_set_coefficients_factor()
429 	isl_basic_set *coeff;  in isl_basic_set_coefficients_factor()
491 static __isl_give isl_basic_set *add_lines(__isl_take isl_basic_set *bset,  in add_lines()
513 static __isl_give isl_basic_set *add_rays(__isl_take isl_basic_set *bset,  in add_rays()
602 static __isl_give isl_basic_set *add_vertex(__isl_take isl_basic_set *bset,  in add_vertex()
618 		isl_basic_set *coeff = factor->coeff;  in add_vertex()
627 		isl_basic_set *coeff = factor->coeff;  in add_vertex()
674 static __isl_give isl_basic_set *construct_product(isl_ctx *ctx,  in construct_product()
681 	isl_basic_set *product;  in construct_product()
727 static __isl_give isl_basic_set *isl_basic_set_coefficients_product(  in isl_basic_set_coefficients_product()
732 	isl_basic_set *coeff;  in isl_basic_set_coefficients_product()
765 static __isl_give isl_basic_set *isl_basic_set_coefficients_morphed_product(  in isl_basic_set_coefficients_morphed_product()
772 	isl_basic_set *coeff;  in isl_basic_set_coefficients_morphed_product()
813 static __isl_give isl_basic_set *basic_set_coefficients(  in basic_set_coefficients()
814 	__isl_take isl_basic_set *bset)  in basic_set_coefficients()
839 __isl_give isl_basic_set *isl_basic_set_coefficients(  in isl_basic_set_coefficients()
840 	__isl_take isl_basic_set *bset)  in isl_basic_set_coefficients()
866 __isl_give isl_basic_set *isl_basic_set_solutions(  in isl_basic_set_solutions()
867 	__isl_take isl_basic_set *bset)  in isl_basic_set_solutions()
892 __isl_give isl_basic_set *isl_set_coefficients(__isl_take isl_set *set)  in isl_set_coefficients()
895 	isl_basic_set *coeff;  in isl_set_coefficients()
909 		isl_basic_set *bset, *coeff_i;  in isl_set_coefficients()
922 static __isl_give isl_basic_set *coefficients_wrap(  in coefficients_wrap()
923 	__isl_take isl_basic_set *bset, void *user)  in coefficients_wrap()
941 __isl_give isl_basic_set *isl_set_solutions(__isl_take isl_set *set)  in isl_set_solutions()
944 	isl_basic_set *sol;  in isl_set_solutions()
958 		isl_basic_set *bset, *sol_i;  in isl_set_solutions()