149 struct isl_sol;
152 	struct isl_sol *sol;
182 struct isl_sol {  struct
191 	void (*add)(struct isl_sol *sol,  argument
193 	void (*add_empty)(struct isl_sol *sol, struct isl_basic_set *bset);  argument
194 	void (*free)(struct isl_sol *sol);  argument
198 static void sol_free(struct isl_sol *sol)  in sol_free()
220 static void sol_context_add_eq(struct isl_sol *sol, isl_int *eq, int check,  in sol_context_add_eq()
232 static void sol_context_add_ineq(struct isl_sol *sol, isl_int *ineq, int check,  in sol_context_add_ineq()
247 static void sol_push_sol(struct isl_sol *sol,  in sol_push_sol()
354 static void sol_push_sol_mat(struct isl_sol *sol,  in sol_push_sol_mat()
386 static void sol_pop_one(struct isl_sol *sol)  in sol_pop_one()
402 static struct isl_basic_set *sol_domain(struct isl_sol *sol)  in sol_domain()
439 static void swap_initial(struct isl_sol *sol)  in swap_initial()
459 static isl_stat combine_initial_into_second(struct isl_sol *sol)  in combine_initial_into_second()
522 static isl_stat combine_initial_if_equal(struct isl_sol *sol)  in combine_initial_if_equal()
564 static void sol_pop(struct isl_sol *sol)  in sol_pop()
600 static void sol_dec_level(struct isl_sol *sol)  in sol_dec_level()
625 static void sol_inc_level(struct isl_sol *sol)  in sol_inc_level()
698 static void sol_add(struct isl_sol *sol, struct isl_tab *tab)  in sol_add()
788 	struct isl_sol	sol;
793 static void sol_map_free(struct isl_sol *sol)  in sol_map_free()
823 static void sol_map_add_empty_wrap(struct isl_sol *sol,  in sol_map_add_empty_wrap()
854 static void sol_map_add_wrap(struct isl_sol *sol,  in sol_map_add_wrap()
3705 static isl_stat sol_init(struct isl_sol *sol, __isl_keep isl_basic_map *bmap,  in sol_init()
3729 static struct isl_sol *sol_map_init(__isl_keep isl_basic_map *bmap,  in sol_map_init()
3866 	struct isl_sol *sol, int row)  in row_sign()
3936 static void find_solutions(struct isl_sol *sol, struct isl_tab *tab);
3952 static void find_in_pos(struct isl_sol *sol, struct isl_tab *tab, isl_int *ineq)  in find_in_pos()
3981 static void no_sol_in_strict(struct isl_sol *sol,  in no_sol_in_strict()
4119 static void find_solutions(struct isl_sol *sol, struct isl_tab *tab)  in find_solutions()
4239 static int sol_has_mergeable_solutions(struct isl_sol *sol)  in sol_has_mergeable_solutions()
4270 static void find_solutions_main(struct isl_sol *sol, struct isl_tab *tab)  in find_solutions_main()
4445 static struct isl_sol *basic_map_partial_lexopt_base_sol(  in basic_map_partial_lexopt_base_sol()
4448 	struct isl_sol *(*init)(__isl_keep isl_basic_map *bmap,  in basic_map_partial_lexopt_base_sol()
4452 	struct isl_sol *sol = NULL;  in basic_map_partial_lexopt_base_sol()
4497 	struct isl_sol *sol;  in basic_map_partial_lexopt_base()
5690 	struct isl_sol	sol;
5695 static void sol_pma_free(struct isl_sol *sol)  in sol_pma_free()
5742 static void sol_pma_add_empty_wrap(struct isl_sol *sol,  in sol_pma_add_empty_wrap()
5748 static void sol_pma_add_wrap(struct isl_sol *sol,  in sol_pma_add_wrap()
5761 static struct isl_sol *sol_pma_init(__isl_keep isl_basic_map *bmap,  in sol_pma_init()
5809 	struct isl_sol *sol;  in basic_map_partial_lexopt_base_pw_multi_aff()