* <!-- begin-user-doc -->
* <!-- end-user-doc -->
* @generated
*/
public NotificationChain basicSetP_implies_op(ImpliesOpAst newP_implies_op, NotificationChain msgs) {
ImpliesOpAst oldP_implies_op = p_implies_op;
p_implies_op = newP_implies_op;
if (eNotificationRequired()) {
ENotificationImpl notification = new ENotificationImpl(this, Notification.SET, QvtAstPackage.IMPLIES_IMPLIES_EXP_AST__PIMPLIES_OP, oldP_implies_op, newP_implies_op);
if (msgs == null) msgs = notification; else msgs.add(notification);
}