Searched refs:KnownContradictory (Results 1 – 1 of 1) sorted by relevance
136 bool KnownContradictory; member141 KnownContradictory(false) { in CNFFormula()232 Formula.KnownContradictory = true; in addClause()251 bool isKnownContradictory() { return Formula.KnownContradictory; } in isKnownContradictory()526 if (CNF.KnownContradictory) { in solve()