Searched refs:SOLVER_REASON_CLEANDEPS_ERASE (Results 1 – 2 of 2) sorted by relevance
253 #define SOLVER_REASON_CLEANDEPS_ERASE 5 macro
4025 return SOLVER_REASON_CLEANDEPS_ERASE; in solver_describe_decision()4038 return SOLVER_REASON_CLEANDEPS_ERASE; in solver_describe_decision()