clang
6.0.0
|
#include "clang/Analysis/Analyses/ThreadSafetyLogical.h"
Public Member Functions | |
Not (LExpr *Exp) | |
const LExpr * | exp () const |
LExpr * | exp () |
![]() | |
Opcode | kind () const |
bool | implies (const LExpr *RHS) const |
Logical implication. More... | |
Static Public Member Functions | |
static bool | classof (const LExpr *E) |
Additional Inherited Members | |
![]() | |
enum | Opcode { Terminal, And, Or, Not } |
![]() | |
LExpr (Opcode Kind) | |
Definition at line 83 of file ThreadSafetyLogical.h.
|
inline |
Definition at line 87 of file ThreadSafetyLogical.h.
Definition at line 92 of file ThreadSafetyLogical.h.
|
inline |
Definition at line 89 of file ThreadSafetyLogical.h.
|
inline |
Definition at line 90 of file ThreadSafetyLogical.h.