clang 19.0.0git
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.

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 105 of file ThreadSafetyLogical.cpp.

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