Home
last modified time | relevance | path

Searched defs:CNF (Results 1 – 4 of 4) 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.cpp153 CNFFormula CNF(NextVar - 1); in buildCNF() local
H A DWatchedLiteralsSolver.cpp39 CNFFormula CNF; member in clang::dataflow::__anondce44e890111::WatchedLiteralsSolverImpl
/freebsd/contrib/llvm-project/clang/lib/Sema/
H A DSemaConcept.cpp1948 auto SubsumptionChecker::CNF(const NormalizedConstraint &C) -> CNFFormula { in CNF() function in SubsumptionChecker