Home
last modified time | relevance | path

Searched refs:buildCNF (Results 1 – 3 of 3) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DCNFFormula.h173 CNFFormula buildCNF(const llvm::ArrayRef<const Formula *> &Formulas,
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DCNFFormula.cpp116 CNFFormula buildCNF(const llvm::ArrayRef<const Formula *> &Formulas, in buildCNF() function
H A DWatchedLiteralsSolver.cpp110 : Atomics(), CNF(buildCNF(Vals, Atomics)), in WatchedLiteralsSolverImpl()