13 #ifndef LLVM_CLANG_ANALYSIS_ANALYSES_THREADSAFETYLOGICAL_H
14 #define LLVM_CLANG_ANALYSIS_ANALYSES_THREADSAFETYLOGICAL_H
19 namespace threadSafety {
97 bool implies(
const LExpr *LHS,
const LExpr *RHS);
bool implies(const LExpr *RHS) const
Logical implication.
bool implies(const LExpr *LHS, const LExpr *RHS)
Logical implication.
Expr - This represents one expression.
const LExpr * exp() const
Terminal(til::SExpr *Expr)
BinOp(LExpr *LHS, LExpr *RHS, Opcode Code)
static bool classof(const LExpr *E)
Or(LExpr *LHS, LExpr *RHS)
const LExpr * right() const
static bool classof(const LExpr *E)
const LExpr * left() const
And(LExpr *LHS, LExpr *RHS)
detail::InMemoryDirectory::const_iterator E
static bool classof(const LExpr *E)
Base class for AST nodes in the typed intermediate language.
static bool classof(const LExpr *E)
const til::SExpr * expr() const