clang
20.0.0git
clang
dataflow
Arena
clang::dataflow::Arena Member List
This is the complete list of members for
clang::dataflow::Arena
, including all inherited members.
Arena
()
clang::dataflow::Arena
inline
Arena
(const Arena &)=delete
clang::dataflow::Arena
create
(Args &&...args)
clang::dataflow::Arena
inline
create
(Args &&...args)
clang::dataflow::Arena
inline
makeAnd
(const Formula &LHS, const Formula &RHS)
clang::dataflow::Arena
makeAtom
()
clang::dataflow::Arena
inline
makeAtomRef
(Atom A)
clang::dataflow::Arena
makeAtomValue
()
clang::dataflow::Arena
inline
makeBoolValue
(const Formula &)
clang::dataflow::Arena
makeEquals
(const Formula &LHS, const Formula &RHS)
clang::dataflow::Arena
makeFlowConditionToken
()
clang::dataflow::Arena
inline
makeImplies
(const Formula &LHS, const Formula &RHS)
clang::dataflow::Arena
makeIntLiteral
(llvm::APInt Value)
clang::dataflow::Arena
makeLiteral
(bool Value)
clang::dataflow::Arena
inline
makeNot
(const Formula &Val)
clang::dataflow::Arena
makeOr
(const Formula &LHS, const Formula &RHS)
clang::dataflow::Arena
makeTopValue
()
clang::dataflow::Arena
inline
operator=
(const Arena &)=delete
clang::dataflow::Arena
parseFormula
(llvm::StringRef)
clang::dataflow::Arena
Generated on Fri Dec 20 2024 17:46:49 for clang by
1.9.6