Interface NegationExpr

All Superinterfaces:
org.eclipse.emf.ecore.EObject, ExistentialQuantifier, Expr, org.eclipse.emf.common.notify.Notifier, UnaryExpr
All Known Implementing Classes:
NegationExprImpl
public interface NegationExpr extends ExistentialQuantifier, UnaryExpr
A representation of the model object 'Negation Expr'.
See Also:

  • Method Summary

    Methods inherited from interface org.eclipse.emf.ecore.EObject

    eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

    Methods inherited from interface ExistentialQuantifier

    getImplicitVariables

    Methods inherited from interface org.eclipse.emf.common.notify.Notifier

    eAdapters, eDeliver, eNotify, eSetDeliver

    Methods inherited from interface UnaryExpr

    getBody, setBody