Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DCNFFormula.cpp284 for (ClauseID C = 1; C <= CNF.numClauses(); ++C) { in buildCNF()
291 for (ClauseID C = 1; C <= CNF.numClauses(); ++C) { in buildCNF()
H A DWatchedLiteralsSolver.cpp122 for (ClauseID C = 1; C <= CNF.numClauses(); ++C) { in WatchedLiteralsSolverImpl()
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DCNFFormula.h119 ClauseID numClauses() const { return ClauseStarts.size() - 1; } in numClauses() function