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 TypeMethodDescriptionorg.eclipse.emf.common.util.EList
<ImplicitVariable> 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
-
Method Details
-
getImplicitVariables
org.eclipse.emf.common.util.EList<ImplicitVariable> getImplicitVariables()Returns the value of the 'Implicit Variables' containment reference list. The list contents are of typeImplicitVariable
.- Returns:
- the value of the 'Implicit Variables' containment reference list.
- See Also:
-