|
clang
5.0.0
|
Classes | |
| class | LExpr |
| class | Terminal |
| class | BinOp |
| class | And |
| class | Or |
| class | Not |
Functions | |
| bool | implies (const LExpr *LHS, const LExpr *RHS) |
| Logical implication. More... | |
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().
1.8.6