Package tools.refinery.language.model.problem

Interface QuantifiedUnaryExpr

All Superinterfaces:
org.eclipse.emf.ecore.EObject, ExistentialQuantifier, Expr, org.eclipse.emf.common.notify.Notifier, UnaryExpr
All Known Subinterfaces:
CountExpr, NegationExpr
All Known Implementing Classes:
CountExprImpl, NegationExprImpl, QuantifiedUnaryExprImpl
public interface QuantifiedUnaryExpr extends ExistentialQuantifier, UnaryExpr
A representation of the model object 'Quantified Unary 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 tools.refinery.language.model.problem.ExistentialQuantifier

    getImplicitVariables

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

    eAdapters, eDeliver, eNotify, eSetDeliver

    Methods inherited from interface tools.refinery.language.model.problem.UnaryExpr

    getBody, setBody