Package tools.refinery.language.model.problem

Interface CountExpr

All Superinterfaces:
org.eclipse.emf.ecore.EObject, ExistentialQuantifier, Expr, org.eclipse.emf.common.notify.Notifier, QuantifiedUnaryExpr, UnaryExpr
All Known Implementing Classes:
CountExprImpl
public interface CountExpr extends QuantifiedUnaryExpr
A representation of the model object 'Count 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