ΒΆbool implies(
const clang::threadSafety::lexpr::LExpr* LHS,
const clang::threadSafety::lexpr::LExpr* RHS)
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