Package tools.refinery.language.model.problem

Interface ExistentialQuantifier

All Superinterfaces:
org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier
All Known Subinterfaces:
AggregationExpr, Conjunction, CountExpr, NegationExpr, QuantifiedUnaryExpr
All Known Implementing Classes:
AggregationExprImpl, ConjunctionImpl, CountExprImpl, NegationExprImpl, QuantifiedUnaryExprImpl
public interface ExistentialQuantifier extends org.eclipse.emf.ecore.EObject
A representation of the model object 'Existential Quantifier'.

The following features are supported:

See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    org.eclipse.emf.common.util.EList<ImplicitVariable>
    getImplicitVariables()
    Returns the value of the 'Implicit Variables' containment reference list.

    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 org.eclipse.emf.common.notify.Notifier

    eAdapters, eDeliver, eNotify, eSetDeliver