95 			struct isl_vec *div);
98 		__isl_keep isl_vec *div);
931 static struct isl_vec *get_row_parameter_ineq(struct isl_tab *tab, int row)  in get_row_parameter_ineq()
933 	struct isl_vec *ineq;  in get_row_parameter_ineq()
954 static void normalize_div(__isl_keep isl_vec *div)  in normalize_div()
981 static struct isl_vec *get_row_parameter_div(struct isl_tab *tab, int row)  in get_row_parameter_div()
983 	struct isl_vec *div;  in get_row_parameter_div()
1009 static struct isl_vec *get_row_split_div(struct isl_tab *tab, int row)  in get_row_split_div()
1011 	struct isl_vec *div;  in get_row_split_div()
1035 static __isl_give isl_vec *ineq_for_div(__isl_keep isl_basic_set *bset,  in ineq_for_div()
1040 	struct isl_vec *ineq;  in ineq_for_div()
2022 		struct isl_vec *sample;  in check_integer_feasible()
2072 	__isl_keep isl_vec *div,  in context_tab_insert_div()
2117 	__isl_keep isl_vec *div)  in add_div()
2177 	struct isl_vec *div)  in get_div()
2222 	struct isl_vec *div;  in add_parametric_cut()
2442 		struct isl_vec *ineq = NULL;  in best_split()
2643 		struct isl_vec *div)  in context_lex_get_div()
2657 	__isl_keep isl_vec *div)  in context_lex_insert_div()
2745 	struct isl_vec *ineq = NULL;  in tab_detect_nonnegative_parameters()
2946 	struct isl_vec *cst;  in gbr_init_shifted()
2978 static struct isl_vec *gbr_get_shifted_sample(struct isl_context_gbr *cgbr)  in gbr_get_shifted_sample()
2980 	struct isl_vec *sample;  in gbr_get_shifted_sample()
3019 static struct isl_vec *gbr_get_sample(struct isl_context_gbr *cgbr)  in gbr_get_sample()
3028 		struct isl_vec *sample;  in gbr_get_sample()
3050 		struct isl_vec *sample;  in gbr_get_sample()
3090 	struct isl_vec *sample;  in check_gbr_integer_feasible()
3360 	struct isl_vec *eq = NULL;  in propagate_equalities()
3454 		struct isl_vec *div)  in context_gbr_get_div()
3460 	__isl_keep isl_vec *div)  in context_gbr_insert_div()
3792 static int is_strict(struct isl_vec *vec)  in is_strict()
3868 	struct isl_vec *ineq = NULL;  in row_sign()
3982 	struct isl_tab *tab, struct isl_vec *ineq)  in no_sol_in_strict()
4158 			struct isl_vec *ineq;  in find_solutions()
4193 			struct isl_vec *div;  in find_solutions()
4194 			struct isl_vec *ineq;  in find_solutions()
4282 		struct isl_vec *eq;  in find_solutions_main()
5007 static __isl_give isl_vec *extract_sample_sequence(struct isl_tab *tab,  in extract_sample_sequence()
5012 	isl_vec *v;  in extract_sample_sequence()
5042 	isl_vec *v;  in region_is_trivial()
5087 	isl_vec *v;
5089 	isl_vec *sol;
5115 static int is_optimal(__isl_keep isl_vec *sol, int n_op)  in is_optimal()
5140 	__isl_keep isl_vec *sol, int n_op, int n_zero)  in force_better_solution()
5144 	isl_vec *v = NULL;  in force_better_solution()
5520 __isl_give isl_vec *isl_tab_basic_set_non_trivial_lexmin(  in isl_tab_basic_set_non_trivial_lexmin()
5679 __isl_give isl_vec *isl_tab_lexmin_get_solution(__isl_keep isl_tab_lexmin *tl)  in isl_tab_lexmin_get_solution()