Home
last modified time | relevance | path

Searched defs:CNF (Results 1 – 3 of 3) sorted by relevance

/freebsd-head/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
HDCNFFormula.h141 CNFFormula *CNF; variable
143 Iterator(CNFFormula *CNF, size_t Idx) : CNF(CNF), Idx(Idx) {} in Iterator()
/freebsd-head/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
HDCNFFormula.cpp154 CNFFormula CNF(NextVar - 1); in buildCNF() local
HDWatchedLiteralsSolver.cpp39 CNFFormula CNF; member in clang::dataflow::__anon63ef6c680111::WatchedLiteralsSolverImpl