Searched refs:FinalBuilder (Results 1 – 1 of 1) sorted by relevance
281 CNFFormulaBuilder FinalBuilder(FinalCNF); in buildCNF() local286 FinalBuilder.addClause(CNF.clauseLiterals(C)[0]); in buildCNF()292 FinalBuilder.addClause(CNF.clauseLiterals(C)); in buildCNF()293 if (FinalBuilder.isKnownContradictory()) { in buildCNF()