Searched refs:SOLVER_RULE_LEARNT (Results 1 – 4 of 4) sorted by relevance
69 SOLVER_RULE_LEARNT = 0x800, enumerator
607 case SOLVER_RULE_LEARNT: in solver_printproblemruleinfo()
2230 return SOLVER_RULE_LEARNT; in solver_ruleinfo()2257 return SOLVER_RULE_LEARNT; in solver_ruleclass()
983 case SOLVER_RULE_LEARNT: in _AddProblem()