Searched refs:solver_solution_count (Results 1 – 4 of 4) sorted by relevance
35 unsigned int solver_solution_count(struct _Solver *solv, Id problem);
731 solver_solution_count(Solver *solv, Id problem) in solver_solution_count() function
1018 int solutionCount = solver_solution_count(fSolver, problemId); in _AddProblem()
1463 scnt = solver_solution_count(solv, problem); in testcase_solverresult()