Searched refs:FinalCNF (Results 1 – 1 of 1) sorted by relevance
279 CNFFormula FinalCNF(NextVar - 1); in buildCNF() local280 CNFFormulaBuilder FinalBuilder(FinalCNF); in buildCNF()298 return FinalCNF; in buildCNF()