Searched refs:SOLVER_RULE_CHOICE (Results 1 – 4 of 4) sorted by relevance
68 SOLVER_RULE_CHOICE = 0x700, enumerator
608 case SOLVER_RULE_CHOICE: in solver_printproblemruleinfo()
2226 return SOLVER_RULE_CHOICE; in solver_ruleinfo()2255 return SOLVER_RULE_CHOICE; in solver_ruleclass()
984 case SOLVER_RULE_CHOICE: in _AddProblem()