152 	struct isl_sol *sol;  member
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;  member
793 static void sol_map_free(struct isl_sol *sol)  in sol_map_free()
804 static void sol_map_add_empty(struct isl_sol_map *sol,  in sol_map_add_empty()
823 static void sol_map_add_empty_wrap(struct isl_sol *sol,  in sol_map_add_empty_wrap()
833 static void sol_map_add(struct isl_sol_map *sol,  in sol_map_add()
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()
3866 	struct isl_sol *sol, int row)  in row_sign()
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()
4452 	struct isl_sol *sol = NULL;  in basic_map_partial_lexopt_base_sol()  local
4497 	struct isl_sol *sol;  in basic_map_partial_lexopt_base()  local
5089 	isl_vec *sol;  member
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()
5690 	struct isl_sol	sol;  member
5695 static void sol_pma_free(struct isl_sol *sol)  in sol_pma_free()
5706 static void sol_pma_add_empty(struct isl_sol_pma *sol,  in sol_pma_add_empty()
5729 static void sol_pma_add(struct isl_sol_pma *sol,  in sol_pma_add()
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()
5809 	struct isl_sol *sol;  in basic_map_partial_lexopt_base_pw_multi_aff()  local