Searched refs:solver_next_problem (Results 1 – 5 of 5) sorted by relevance
40 Id solver_next_problem(struct s_Solver *solv, Id problem);
366 solver_next_problem;
555 while ((problem = solver_next_problem(solv, problem)) != 0) in solver_printallsolutions()
928 solver_next_problem(Solver *solv, Id problem) in solver_next_problem() function
361 while ((problem = solver_next_problem(solv, problem)) != 0) in main()