Home
last modified time | relevance | path

Searched refs:clauseSize (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DCNFFormula.h122 size_t clauseSize(ClauseID C) const { in clauseSize() function
130 size_t S = clauseSize(C); in clauseLiterals()
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DCNFFormula.cpp285 if (CNF.clauseSize(C) == 1) { in buildCNF()