739 static int hash_index_ineq(struct isl_constraint_index *ci, isl_int **ineq)  in hash_index_ineq()
801 	isl_int *ineq)  in constraint_index_is_redundant()
1118 	__isl_take isl_basic_map *bmap, int div, int ineq)  in set_div_from_lower_bound()
1138 	int div, int ineq)  in ok_to_set_div_from_bound()
1175 	int div, int ineq)  in better_div_constraint()
2055 static isl_stat mark_shifted_constraints(__isl_keep isl_mat *ineq,  in mark_shifted_constraints()
2385 	__isl_take isl_basic_set *context, __isl_keep isl_mat *ineq, int *row)  in drop_irrelevant_constraints_marked()
2484 	__isl_take isl_basic_set *bset, __isl_take isl_mat *ineq,  in update_ineq_free()
2531 	__isl_take isl_mat *ineq, __isl_take isl_basic_set *context)  in uset_gist_full()
2631 	isl_mat *ineq;  in extract_ineq()  local
2651 	isl_mat *ineq;  in uset_gist_uncompressed()  local
2704 	isl_mat *ineq;  in uset_gist_compressed()  local
4690 static isl_bool single_unknown(__isl_keep isl_basic_map *bmap, int ineq,  in single_unknown()
4725 static isl_bool has_coef_one(__isl_keep isl_basic_map *bmap, int div, int ineq)  in has_coef_one()
4742 	__isl_take isl_basic_map *bmap, int ineq, __isl_take int *pairs)  in set_eq_and_try_again()
4787 	int ineq, int lower, int pos, isl_int *l)  in lower_bound_from_parallel()
4811 	int ineq, int upper, int pos, isl_int *u)  in lower_bound_from_opposite()
4845 static int lower_bound_is_cst(__isl_keep isl_basic_map *bmap, int div, int ineq)  in lower_bound_is_cst()
4916 	int div, int ineq, int lower, int *pairs)  in fix_cst_lower()