clang  3.9.0
Public Types | Public Member Functions | Protected Member Functions | List of all members
clang::threadSafety::lexpr::LExpr Class Reference

#include <ThreadSafetyLogical.h>

Inheritance diagram for clang::threadSafety::lexpr::LExpr:
[legend]

Public Types

enum  Opcode { Terminal, And, Or, Not }
 

Public Member Functions

Opcode kind () const
 
bool implies (const LExpr *RHS) const
 Logical implication. More...
 

Protected Member Functions

 LExpr (Opcode Kind)
 

Detailed Description

Definition at line 22 of file ThreadSafetyLogical.h.

Member Enumeration Documentation

Enumerator
Terminal 
And 
Or 
Not 

Definition at line 24 of file ThreadSafetyLogical.h.

Constructor & Destructor Documentation

clang::threadSafety::lexpr::LExpr::LExpr ( Opcode  Kind)
inlineprotected

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.

References clang::threadSafety::lexpr::implies().

Opcode clang::threadSafety::lexpr::LExpr::kind ( ) const
inline

The documentation for this class was generated from the following file: