clang 19.0.0git
|
This is the complete list of members for clang::dataflow::CNFFormula, including all inherited members.
addClause(ArrayRef< Literal > lits) | clang::dataflow::CNFFormula | inline |
Atomics | clang::dataflow::CNFFormula | |
clauseLiterals(ClauseID C) const | clang::dataflow::CNFFormula | inline |
Clauses | clang::dataflow::CNFFormula | |
clauseSize(ClauseID C) const | clang::dataflow::CNFFormula | inline |
ClauseStarts | clang::dataflow::CNFFormula | |
CNFFormula(Variable LargestVar, llvm::DenseMap< Variable, Atom > Atomics) | clang::dataflow::CNFFormula | inlineexplicit |
KnownContradictory | clang::dataflow::CNFFormula | |
LargestVar | clang::dataflow::CNFFormula | |
NextWatched | clang::dataflow::CNFFormula | |
WatchedHead | clang::dataflow::CNFFormula |