Searched refs:problemId (Results 1 – 2 of 2) sorted by relevance
899 LibsolvSolver::_AddProblem(Id problemId) in _AddProblem() argument907 Id ruleId = solver_findproblemrule(fSolver, problemId); in _AddProblem()1011 Problem* problem = new(std::nothrow) Problem(problemId, problemType, in _AddProblem()1018 int solutionCount = solver_solution_count(fSolver, problemId); in _AddProblem()1325 for (Id problemId = 1; problemId <= problemCount; problemId++) { in _Solve() local1326 status_t error = _AddProblem(problemId); in _Solve()
109 status_t _AddProblem(Id problemId);