Home
last modified time | relevance | path

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

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