141 struct isl_partial_sol {  struct
146 	struct isl_partial_sol *next;  argument
190 	struct isl_partial_sol *partial;
200 	struct isl_partial_sol *partial, *next;  in sol_free()
250 	struct isl_partial_sol *partial;  in sol_push_sol()
255 	partial = isl_alloc_type(dom->ctx, struct isl_partial_sol);  in sol_push_sol()
388 	struct isl_partial_sol *partial;  in sol_pop_one()
418 static isl_bool same_solution(struct isl_partial_sol *s1,  in same_solution()
419 	struct isl_partial_sol *s2)  in same_solution()
441 	struct isl_partial_sol *partial;  in swap_initial()
461 	struct isl_partial_sol *partial;  in combine_initial_into_second()
524 	struct isl_partial_sol *partial;  in combine_initial_if_equal()
566 	struct isl_partial_sol *partial;  in sol_pop()