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

Description

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

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyLogical.h:96

Parameters

const clang::threadSafety::lexpr::LExpr* LHS
const clang::threadSafety::lexpr::LExpr* RHS