| clang 22.0.0git
    | 
This is the complete list of members for clang::dataflow::Formula, including all inherited members.
| And enum value | clang::dataflow::Formula | |
| AtomNames typedef | clang::dataflow::Formula | |
| AtomRef enum value | clang::dataflow::Formula | |
| create(llvm::BumpPtrAllocator &Alloc, Kind K, ArrayRef< const Formula * > Operands, unsigned Value=0) | clang::dataflow::Formula | static | 
| Equal enum value | clang::dataflow::Formula | |
| getAtom() const | clang::dataflow::Formula | inline | 
| Implies enum value | clang::dataflow::Formula | |
| isLiteral(bool b) const | clang::dataflow::Formula | inline | 
| Kind enum name | clang::dataflow::Formula | |
| kind() const | clang::dataflow::Formula | inline | 
| Literal enum value | clang::dataflow::Formula | |
| literal() const | clang::dataflow::Formula | inline | 
| Not enum value | clang::dataflow::Formula | |
| numOperands(Kind K) | clang::dataflow::Formula | inlinestatic | 
| operands() const | clang::dataflow::Formula | inline | 
| Or enum value | clang::dataflow::Formula | |
| print(llvm::raw_ostream &OS, const AtomNames *=nullptr) const | clang::dataflow::Formula |