Searched refs:solver_ruletoproblem (Results 1 – 1 of 1) sorted by relevance
154 solver_ruletoproblem(Solver *solv, Id rid) in solver_ruletoproblem() function185 Id v = solver_ruletoproblem(solv, rid); in solver_recordproblem()206 Id v = solver_ruletoproblem(solv, rid); in solver_fixproblem()