Searched refs:buildCNF (Results 1 – 1 of 1) sorted by relevance
261 CNFFormula buildCNF(const llvm::ArrayRef<const Formula *> &Vals) { in buildCNF() function504 : CNF(buildCNF(Vals)), LevelVars(CNF.LargestVar + 1), in WatchedLiteralsSolverImpl()