Searched refs:SOLVER_SOLUTION_BEST (Results 1 – 4 of 4) sorted by relevance
26 #define SOLVER_SOLUTION_BEST (-3) macro
511 queue_push(solutionq, SOLVER_SOLUTION_BEST); in convertsolution()528 queue_push(solutionq, SOLVER_SOLUTION_BEST); /* split, see above */ in convertsolution()536 queue_push(solutionq, SOLVER_SOLUTION_BEST); in convertsolution()
712 else if (p == SOLVER_SOLUTION_BEST) in solver_printsolution()1072 else if (p == SOLVER_SOLUTION_BEST) in solver_solutionelement2str()
1134 if (sourceId == SOLVER_SOLUTION_BEST) { in _AddSolutionElement()