Searched refs:FinalBuilder (Results 1 – 1 of 1) sorted by relevance
426 CNFFormulaBuilder FinalBuilder(FinalCNF); in buildCNF() local431 FinalBuilder.addClause(CNF.clauseLiterals(C)[0]); in buildCNF()437 FinalBuilder.addClause(CNF.clauseLiterals(C)); in buildCNF()438 if (FinalBuilder.isKnownContradictory()) { in buildCNF()