clang 20.0.0git
|
#include "clang/Analysis/Analyses/ThreadSafetyLogical.h"
Public Member Functions | |
Not (LExpr *Exp) | |
const LExpr * | exp () const |
LExpr * | exp () |
Public Member Functions inherited from clang::threadSafety::lexpr::LExpr | |
Opcode | kind () const |
bool | implies (const LExpr *RHS) const |
Logical implication. | |
Static Public Member Functions | |
static bool | classof (const LExpr *E) |
Additional Inherited Members | |
Public Types inherited from clang::threadSafety::lexpr::LExpr | |
enum | Opcode { Terminal , And , Or , Not } |
Protected Member Functions inherited from clang::threadSafety::lexpr::LExpr | |
LExpr (Opcode Kind) | |
Definition at line 82 of file ThreadSafetyLogical.h.
|
inline |
Definition at line 86 of file ThreadSafetyLogical.h.
Definition at line 91 of file ThreadSafetyLogical.h.
References E, and clang::threadSafety::lexpr::LExpr::Not.
|
inline |
Definition at line 89 of file ThreadSafetyLogical.h.
|
inline |
Definition at line 88 of file ThreadSafetyLogical.h.