232 static void sol_context_add_ineq(struct isl_sol *sol, isl_int *ineq, int check,  in sol_context_add_ineq()
933 	struct isl_vec *ineq;  in get_row_parameter_ineq()  local
1040 	struct isl_vec *ineq;  in ineq_for_div()  local
1683 static struct isl_tab *add_lexmin_ineq(struct isl_tab *tab, isl_int *ineq)  in add_lexmin_ineq()
1943 static struct isl_tab *check_samples(struct isl_tab *tab, isl_int *ineq, int eq)  in check_samples()
2042 static int tab_has_valid_sample(struct isl_tab *tab, isl_int *ineq, int eq)  in tab_has_valid_sample()
2442 		struct isl_vec *ineq = NULL;  in best_split()  local
2537 static void context_lex_add_ineq(struct isl_context *context, isl_int *ineq,  in context_lex_add_ineq()
2559 static isl_stat context_lex_add_ineq_wrap(void *user, isl_int *ineq)  in context_lex_add_ineq_wrap()
2569 static enum isl_tab_row_sign tab_ineq_sign(struct isl_tab *tab, isl_int *ineq,  in tab_ineq_sign()
2607 			isl_int *ineq, int strict)  in context_lex_ineq_sign()
2616 static int context_lex_test_ineq(struct isl_context *context, isl_int *ineq)  in context_lex_test_ineq()
2745 	struct isl_vec *ineq = NULL;  in tab_detect_nonnegative_parameters()  local
3178 static void add_gbr_ineq(struct isl_context_gbr *cgbr, isl_int *ineq)  in add_gbr_ineq()
3228 static void context_gbr_add_ineq(struct isl_context *context, isl_int *ineq,  in context_gbr_add_ineq()
3252 static isl_stat context_gbr_add_ineq_wrap(void *user, isl_int *ineq)  in context_gbr_add_ineq_wrap()
3260 			isl_int *ineq, int strict)  in context_gbr_ineq_sign()
3269 static int context_gbr_test_ineq(struct isl_context *context, isl_int *ineq)  in context_gbr_test_ineq()
3868 	struct isl_vec *ineq = NULL;  in row_sign()  local
3952 static void find_in_pos(struct isl_sol *sol, struct isl_tab *tab, isl_int *ineq)  in find_in_pos()
3982 	struct isl_tab *tab, struct isl_vec *ineq)  in no_sol_in_strict()
4158 			struct isl_vec *ineq;  in find_solutions()  local
4194 			struct isl_vec *ineq;  in find_solutions()  local
4562 static int all_single_occurrence(__isl_keep isl_basic_map *bmap, int ineq,  in all_single_occurrence()