Searched refs:isKnownContradictory (Results 1 – 1 of 1) sorted by relevance
251 bool isKnownContradictory() { return Formula.KnownContradictory; } in isKnownContradictory() function415 if (builder.isKnownContradictory()) { in buildCNF()438 if (FinalBuilder.isKnownContradictory()) { in buildCNF()