Searched refs:CNFFormulaBuilder (Results 1 – 1 of 1) sorted by relevance
34 struct CNFFormulaBuilder { struct36 explicit CNFFormulaBuilder(CNFFormula &CNF) : Formula(CNF) {} in CNFFormulaBuilder() argument156 CNFFormulaBuilder builder(CNF); in buildCNF()281 CNFFormulaBuilder FinalBuilder(FinalCNF); in buildCNF()