Searched refs:FinalCNF (Results 1 – 1 of 1) sorted by relevance
280 CNFFormula FinalCNF(NextVar - 1); in buildCNF() local281 CNFFormulaBuilder FinalBuilder(FinalCNF); in buildCNF()299 return FinalCNF; in buildCNF()