|
clang
5.0.0
|
#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. More... | |
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 83 of file ThreadSafetyLogical.h.
|
inline |
Definition at line 87 of file ThreadSafetyLogical.h.
Definition at line 92 of file ThreadSafetyLogical.h.
References clang::threadSafety::lexpr::LExpr::kind(), and clang::threadSafety::lexpr::LExpr::Not.
|
inline |
Definition at line 89 of file ThreadSafetyLogical.h.
|
inline |
Definition at line 90 of file ThreadSafetyLogical.h.
1.8.6