Searched refs:SOLVER_RULE_BEST (Results 1 – 4 of 4) sorted by relevance
70 SOLVER_RULE_BEST = 0x900 enumerator
609 case SOLVER_RULE_BEST: in solver_printproblemruleinfo()
2222 return SOLVER_RULE_BEST; in solver_ruleinfo()2253 return SOLVER_RULE_BEST; in solver_ruleclass()
985 case SOLVER_RULE_BEST: in _AddProblem()