reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
96 bool implies(const LExpr *LHS, const LExpr *RHS);
99 return lexpr::implies(this, RHS);