clang  6.0.0svn
Classes | Functions
clang::threadSafety::lexpr Namespace Reference

Classes

class  And
 
class  BinOp
 
class  LExpr
 
class  Not
 
class  Or
 
class  Terminal
 

Functions

bool implies (const LExpr *LHS, const LExpr *RHS)
 Logical implication. More...
 

Function Documentation

◆ implies()

bool clang::threadSafety::lexpr::implies ( const LExpr LHS,
const LExpr RHS 
)

Logical implication.

Returns true if LHS implies RHS, i.e. if LHS holds, then RHS must hold. For example, (A & B) implies A.

Definition at line 106 of file ThreadSafetyLogical.cpp.

References implies().

Referenced by clang::threadSafety::lexpr::LExpr::implies().