Go to the documentation of this file.
12 #ifndef LLVM_CLANG_ANALYSIS_ANALYSES_THREADSAFETYLOGICAL_H
13 #define LLVM_CLANG_ANALYSIS_ANALYSES_THREADSAFETYLOGICAL_H
18 namespace threadSafety {
96 bool implies(
const LExpr *LHS,
const LExpr *RHS);
static bool classof(const LExpr *E)
BinOp(LExpr *LHS, LExpr *RHS, Opcode Code)
const til::SExpr * expr() const
static bool classof(const LExpr *E)
Or(LExpr *LHS, LExpr *RHS)
And(LExpr *LHS, LExpr *RHS)
static bool classof(const LExpr *E)
const LExpr * left() const
bool implies(const LExpr *RHS) const
Logical implication.
const LExpr * exp() const
static bool classof(const LExpr *E)
bool implies(const LExpr *LHS, const LExpr *RHS)
Logical implication.
Terminal(til::SExpr *Expr)
const LExpr * right() const
This represents one expression.
Base class for AST nodes in the typed intermediate language.