Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DCNFFormula.cpp286 FinalBuilder.addClause(CNF.clauseLiterals(C)[0]); in buildCNF()
292 FinalBuilder.addClause(CNF.clauseLiterals(C)); in buildCNF()
H A DWatchedLiteralsSolver.cpp124 Literal FirstLit = CNF.clauseLiterals(C).front(); in WatchedLiteralsSolverImpl()
324 llvm::ArrayRef<Literal> Clause = CNF.clauseLiterals(LitWatcher); in watchedByUnitClause()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DCNFFormula.h129 llvm::ArrayRef<Literal> clauseLiterals(ClauseID C) const { in clauseLiterals() function