152 	struct isl_sol *sol;  member
198 static void sol_free(struct isl_sol *sol)  in sol_free()
221 static void sol_push_sol(struct isl_sol *sol,  in sol_push_sol()
328 static void sol_push_sol_mat(struct isl_sol *sol,  in sol_push_sol_mat()
360 static void sol_pop_one(struct isl_sol *sol)  in sol_pop_one()
376 static struct isl_basic_set *sol_domain(struct isl_sol *sol)  in sol_domain()
413 static void swap_initial(struct isl_sol *sol)  in swap_initial()
433 static isl_stat combine_initial_into_second(struct isl_sol *sol)  in combine_initial_into_second()
496 static isl_stat combine_initial_if_equal(struct isl_sol *sol)  in combine_initial_if_equal()
538 static void sol_pop(struct isl_sol *sol)  in sol_pop()
574 static void sol_dec_level(struct isl_sol *sol)  in sol_dec_level()
599 static void sol_inc_level(struct isl_sol *sol)  in sol_inc_level()
672 static void sol_add(struct isl_sol *sol, struct isl_tab *tab)  in sol_add()
762 	struct isl_sol	sol;  member
767 static void sol_map_free(struct isl_sol *sol)  in sol_map_free()
778 static void sol_map_add_empty(struct isl_sol_map *sol,  in sol_map_add_empty()
797 static void sol_map_add_empty_wrap(struct isl_sol *sol,  in sol_map_add_empty_wrap()
807 static void sol_map_add(struct isl_sol_map *sol,  in sol_map_add()
828 static void sol_map_add_wrap(struct isl_sol *sol,  in sol_map_add_wrap()
3679 static isl_stat sol_init(struct isl_sol *sol, __isl_keep isl_basic_map *bmap,  in sol_init()
3840 	struct isl_sol *sol, int row)  in row_sign()
3926 static void find_in_pos(struct isl_sol *sol, struct isl_tab *tab, isl_int *ineq)  in find_in_pos()
3954 static void no_sol_in_strict(struct isl_sol *sol,  in no_sol_in_strict()
4092 static void find_solutions(struct isl_sol *sol, struct isl_tab *tab)  in find_solutions()
4213 static int sol_has_mergeable_solutions(struct isl_sol *sol)  in sol_has_mergeable_solutions()
4244 static void find_solutions_main(struct isl_sol *sol, struct isl_tab *tab)  in find_solutions_main()
4426 	struct isl_sol *sol = NULL;  in basic_map_partial_lexopt_base_sol()  local
4471 	struct isl_sol *sol;  in basic_map_partial_lexopt_base()  local
5063 	isl_vec *sol;  member
5089 static int is_optimal(__isl_keep isl_vec *sol, int n_op)  in is_optimal()
5114 	__isl_keep isl_vec *sol, int n_op, int n_zero)  in force_better_solution()
5664 	struct isl_sol	sol;  member
5669 static void sol_pma_free(struct isl_sol *sol)  in sol_pma_free()
5680 static void sol_pma_add_empty(struct isl_sol_pma *sol,  in sol_pma_add_empty()
5703 static void sol_pma_add(struct isl_sol_pma *sol,  in sol_pma_add()
5716 static void sol_pma_add_empty_wrap(struct isl_sol *sol,  in sol_pma_add_empty_wrap()
5722 static void sol_pma_add_wrap(struct isl_sol *sol,  in sol_pma_add_wrap()
5783 	struct isl_sol *sol;  in basic_map_partial_lexopt_base_pw_multi_aff()  local