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


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


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().