Searched refs:explainConflict (Results 1 – 2 of 2) sorted by relevance
156 Clause* explainConflict(void);
376 Clause* r = explainConflict(); in fullProp()749 Clause* r = explainConflict(); in incProp()789 Clause* r = explainConflict(); in incProp()1422 Clause* WMDDProp::explainConflict(void) in explainConflict() function in WMDDProp