Searched defs:CNF (Results 1 – 1 of 1) sorted by relevance
299 CNFFormula CNF(NextVar - 1, std::move(Atomics)); buildCNF() local 450 CNFFormula CNF; global() member in clang::dataflow::WatchedLiteralsSolverImpl [all...]