#include <ThreadSafetyLogical.h>
Inheritance diagram for clang::threadSafety::lexpr::LExpr:
Public Types | |
| enum | Opcode { Terminal, And, Or, Not } |
Public Member Functions | |
| Opcode | kind () const |
| bool | implies (const LExpr *RHS) const |
| Logical implication. Returns true if the LExpr implies RHS, i.e. if the LExpr holds, then RHS must hold. For example, (A & B) implies A. | |
Protected Member Functions | |
| LExpr (Opcode Kind) | |
Detailed Description
Definition at line 22 of file ThreadSafetyLogical.h.
Member Enumeration Documentation
Definition at line 24 of file ThreadSafetyLogical.h.
Constructor & Destructor Documentation
| clang::threadSafety::lexpr::LExpr::LExpr | ( | Opcode | Kind | ) | [inline, protected] |
Definition at line 37 of file ThreadSafetyLogical.h.
Member Function Documentation
| bool clang::threadSafety::lexpr::LExpr::implies | ( | const LExpr * | RHS | ) | const [inline] |
Logical implication. Returns true if the LExpr implies RHS, i.e. if the LExpr holds, then RHS must hold. For example, (A & B) implies A.
Definition at line 99 of file ThreadSafetyLogical.h.
| Opcode clang::threadSafety::lexpr::LExpr::kind | ( | ) | const [inline] |
Definition at line 30 of file ThreadSafetyLogical.h.
Referenced by clang::threadSafety::lexpr::Terminal::classof(), clang::threadSafety::lexpr::And::classof(), clang::threadSafety::lexpr::Or::classof(), clang::threadSafety::lexpr::Not::classof(), and implies().
The documentation for this class was generated from the following file: