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