Searched refs:isKnownContradictory (Results 1 – 1 of 1) sorted by relevance
89 bool isKnownContradictory() { return Formula.knownContradictory(); } in isKnownContradictory() function270 if (builder.isKnownContradictory()) { in buildCNF()293 if (FinalBuilder.isKnownContradictory()) { in buildCNF()