Searched refs:FinalCNF (Results 1 – 1 of 1) sorted by relevance
425 CNFFormula FinalCNF(NextVar - 1, std::move(CNF.Atomics)); in buildCNF() local426 CNFFormulaBuilder FinalBuilder(FinalCNF); in buildCNF()444 return FinalCNF; in buildCNF()