public static interface TermsPackage.Literals
Modifier and Type | Field and Description |
---|---|
static org.eclipse.emf.ecore.EClass |
BUILT_IN_CONSTANT
The meta object literal for the '
Built In Constant ' class |
static org.eclipse.emf.ecore.EClass |
BUILT_IN_OPERATOR
The meta object literal for the '
Built In Operator ' class |
static org.eclipse.emf.ecore.EClass |
BUILT_IN_SORT
The meta object literal for the '
Built In Sort ' class |
static org.eclipse.emf.ecore.EClass |
DECLARATIONS
The meta object literal for the '
Declarations ' class |
static org.eclipse.emf.ecore.EReference |
DECLARATIONS__CONTAINER_DECLARATION
The meta object literal for the 'Container Declaration' container reference feature
|
static org.eclipse.emf.ecore.EReference |
DECLARATIONS__DECLARATION
The meta object literal for the 'Declaration' containment reference list feature
|
static org.eclipse.emf.ecore.EClass |
MULTISET_OPERATOR
The meta object literal for the '
Multiset Operator ' class |
static org.eclipse.emf.ecore.EClass |
MULTISET_SORT
The meta object literal for the '
Multiset Sort ' class |
static org.eclipse.emf.ecore.EReference |
MULTISET_SORT__BASIS
The meta object literal for the 'Basis' containment reference feature
|
static org.eclipse.emf.ecore.EClass |
NAMED_OPERATOR
The meta object literal for the '
Named Operator ' class |
static org.eclipse.emf.ecore.EReference |
NAMED_OPERATOR__DEF
The meta object literal for the 'Def' containment reference feature
|
static org.eclipse.emf.ecore.EReference |
NAMED_OPERATOR__PARAMETERS
The meta object literal for the 'Parameters' containment reference list feature
|
static org.eclipse.emf.ecore.EClass |
NAMED_SORT
The meta object literal for the '
Named Sort ' class |
static org.eclipse.emf.ecore.EReference |
NAMED_SORT__SORTDEF
The meta object literal for the 'Sortdef' containment reference feature
|
static org.eclipse.emf.ecore.EClass |
OPERATOR
The meta object literal for the '
Operator ' class |
static org.eclipse.emf.ecore.EReference |
OPERATOR__INPUT
The meta object literal for the 'Input' reference list feature
|
static org.eclipse.emf.ecore.EReference |
OPERATOR__OUTPUT
The meta object literal for the 'Output' reference feature
|
static org.eclipse.emf.ecore.EReference |
OPERATOR__SUBTERM
The meta object literal for the 'Subterm' containment reference list feature
|
static org.eclipse.emf.ecore.EClass |
OPERATOR_DECL
The meta object literal for the '
Operator Decl ' class |
static org.eclipse.emf.ecore.EClass |
PRODUCT_SORT
The meta object literal for the '
Product Sort ' class |
static org.eclipse.emf.ecore.EReference |
PRODUCT_SORT__ELEMENT_SORT
The meta object literal for the 'Element Sort' containment reference list feature
|
static org.eclipse.emf.ecore.EClass |
SORT
The meta object literal for the '
Sort ' class |
static org.eclipse.emf.ecore.EReference |
SORT__CONTAINER_ALL
The meta object literal for the 'Container All' container reference feature
|
static org.eclipse.emf.ecore.EReference |
SORT__CONTAINER_EMPTY
The meta object literal for the 'Container Empty' container reference feature
|
static org.eclipse.emf.ecore.EReference |
SORT__CONTAINER_EMPTY_LIST
The meta object literal for the 'Container Empty List' container reference feature
|
static org.eclipse.emf.ecore.EReference |
SORT__CONTAINER_LIST
The meta object literal for the 'Container List' container reference feature
|
static org.eclipse.emf.ecore.EReference |
SORT__CONTAINER_MAKE_LIST
The meta object literal for the 'Container Make List' container reference feature
|
static org.eclipse.emf.ecore.EReference |
SORT__CONTAINER_NAMED_SORT
The meta object literal for the 'Container Named Sort' container reference feature
|
static org.eclipse.emf.ecore.EReference |
SORT__CONTAINER_PARTITION
The meta object literal for the 'Container Partition' container reference feature
|
static org.eclipse.emf.ecore.EReference |
SORT__CONTAINER_PRODUCT_SORT
The meta object literal for the 'Container Product Sort' container reference feature
|
static org.eclipse.emf.ecore.EReference |
SORT__CONTAINER_TYPE
The meta object literal for the 'Container Type' container reference feature
|
static org.eclipse.emf.ecore.EReference |
SORT__CONTAINER_VARIABLE_DECL
The meta object literal for the 'Container Variable Decl' container reference feature
|
static org.eclipse.emf.ecore.EReference |
SORT__MULTI
The meta object literal for the 'Multi' container reference feature
|
static org.eclipse.emf.ecore.EClass |
SORT_DECL
The meta object literal for the '
Sort Decl ' class |
static org.eclipse.emf.ecore.EClass |
TERM
The meta object literal for the '
Term ' class |
static org.eclipse.emf.ecore.EReference |
TERM__CONTAINER_CONDITION
The meta object literal for the 'Container Condition' container reference feature
|
static org.eclipse.emf.ecore.EReference |
TERM__CONTAINER_HL_ANNOTATION
The meta object literal for the 'Container HL Annotation' container reference feature
|
static org.eclipse.emf.ecore.EReference |
TERM__CONTAINER_HL_MARKING
The meta object literal for the 'Container HL Marking' container reference feature
|
static org.eclipse.emf.ecore.EReference |
TERM__CONTAINER_NAMED_OPERATOR
The meta object literal for the 'Container Named Operator' container reference feature
|
static org.eclipse.emf.ecore.EReference |
TERM__CONTAINER_OPERATOR
The meta object literal for the 'Container Operator' container reference feature
|
static org.eclipse.emf.ecore.EReference |
TERM__CONTAINER_PARTITION_ELEMENT
The meta object literal for the 'Container Partition Element' container reference feature
|
static org.eclipse.emf.ecore.EReference |
TERM__SORT
The meta object literal for the 'Sort' reference feature
|
static org.eclipse.emf.ecore.EClass |
TERMS_DECLARATION
The meta object literal for the '
Declaration ' class |
static org.eclipse.emf.ecore.EReference |
TERMS_DECLARATION__CONTAINER_DECLARATIONS
The meta object literal for the 'Container Declarations' container reference feature
|
static org.eclipse.emf.ecore.EAttribute |
TERMS_DECLARATION__ID
The meta object literal for the 'Id' attribute feature
|
static org.eclipse.emf.ecore.EAttribute |
TERMS_DECLARATION__NAME
The meta object literal for the 'Name' attribute feature
|
static org.eclipse.emf.ecore.EClass |
TUPLE
The meta object literal for the '
Tuple ' class |
static org.eclipse.emf.ecore.EClass |
USER_OPERATOR
The meta object literal for the '
User Operator ' class |
static org.eclipse.emf.ecore.EReference |
USER_OPERATOR__DECLARATION
The meta object literal for the 'Declaration' reference feature
|
static org.eclipse.emf.ecore.EClass |
USER_SORT
The meta object literal for the '
User Sort ' class |
static org.eclipse.emf.ecore.EReference |
USER_SORT__DECLARATION
The meta object literal for the 'Declaration' reference feature
|
static org.eclipse.emf.ecore.EClass |
VARIABLE
The meta object literal for the '
Variable ' class |
static org.eclipse.emf.ecore.EReference |
VARIABLE__VARIABLE_DECL
The meta object literal for the 'Variable Decl' reference feature
|
static org.eclipse.emf.ecore.EClass |
VARIABLE_DECL
The meta object literal for the '
Variable Decl ' class |
static org.eclipse.emf.ecore.EReference |
VARIABLE_DECL__CONTAINER_NAMED_OPERATOR
The meta object literal for the 'Container Named Operator' container reference feature
|
static org.eclipse.emf.ecore.EReference |
VARIABLE_DECL__SORT
The meta object literal for the 'Sort' containment reference feature
|
static final org.eclipse.emf.ecore.EClass DECLARATIONS
Declarations
' class.
static final org.eclipse.emf.ecore.EReference DECLARATIONS__DECLARATION
static final org.eclipse.emf.ecore.EReference DECLARATIONS__CONTAINER_DECLARATION
static final org.eclipse.emf.ecore.EClass TERMS_DECLARATION
Declaration
' class.
static final org.eclipse.emf.ecore.EAttribute TERMS_DECLARATION__ID
static final org.eclipse.emf.ecore.EAttribute TERMS_DECLARATION__NAME
static final org.eclipse.emf.ecore.EReference TERMS_DECLARATION__CONTAINER_DECLARATIONS
static final org.eclipse.emf.ecore.EClass SORT
Sort
' class.
SortImpl
,
TermsPackageImpl.getSort()
static final org.eclipse.emf.ecore.EReference SORT__MULTI
static final org.eclipse.emf.ecore.EReference SORT__CONTAINER_NAMED_SORT
static final org.eclipse.emf.ecore.EReference SORT__CONTAINER_VARIABLE_DECL
static final org.eclipse.emf.ecore.EReference SORT__CONTAINER_PRODUCT_SORT
static final org.eclipse.emf.ecore.EReference SORT__CONTAINER_TYPE
static final org.eclipse.emf.ecore.EReference SORT__CONTAINER_ALL
static final org.eclipse.emf.ecore.EReference SORT__CONTAINER_EMPTY
static final org.eclipse.emf.ecore.EReference SORT__CONTAINER_PARTITION
static final org.eclipse.emf.ecore.EReference SORT__CONTAINER_LIST
static final org.eclipse.emf.ecore.EReference SORT__CONTAINER_EMPTY_LIST
static final org.eclipse.emf.ecore.EReference SORT__CONTAINER_MAKE_LIST
static final org.eclipse.emf.ecore.EClass MULTISET_SORT
Multiset Sort
' class.
static final org.eclipse.emf.ecore.EReference MULTISET_SORT__BASIS
static final org.eclipse.emf.ecore.EClass TERM
Term
' class.
TermImpl
,
TermsPackageImpl.getTerm()
static final org.eclipse.emf.ecore.EReference TERM__SORT
static final org.eclipse.emf.ecore.EReference TERM__CONTAINER_OPERATOR
static final org.eclipse.emf.ecore.EReference TERM__CONTAINER_NAMED_OPERATOR
static final org.eclipse.emf.ecore.EReference TERM__CONTAINER_HL_MARKING
static final org.eclipse.emf.ecore.EReference TERM__CONTAINER_CONDITION
static final org.eclipse.emf.ecore.EReference TERM__CONTAINER_HL_ANNOTATION
static final org.eclipse.emf.ecore.EReference TERM__CONTAINER_PARTITION_ELEMENT
static final org.eclipse.emf.ecore.EClass OPERATOR
Operator
' class.
OperatorImpl
,
TermsPackageImpl.getOperator()
static final org.eclipse.emf.ecore.EReference OPERATOR__SUBTERM
static final org.eclipse.emf.ecore.EReference OPERATOR__OUTPUT
static final org.eclipse.emf.ecore.EReference OPERATOR__INPUT
static final org.eclipse.emf.ecore.EClass VARIABLE_DECL
Variable Decl
' class.
static final org.eclipse.emf.ecore.EReference VARIABLE_DECL__SORT
static final org.eclipse.emf.ecore.EReference VARIABLE_DECL__CONTAINER_NAMED_OPERATOR
static final org.eclipse.emf.ecore.EClass VARIABLE
Variable
' class.
VariableImpl
,
TermsPackageImpl.getVariable()
static final org.eclipse.emf.ecore.EReference VARIABLE__VARIABLE_DECL
static final org.eclipse.emf.ecore.EClass BUILT_IN_SORT
Built In Sort
' class.
BuiltInSortImpl
,
TermsPackageImpl.getBuiltInSort()
static final org.eclipse.emf.ecore.EClass PRODUCT_SORT
Product Sort
' class.
ProductSortImpl
,
TermsPackageImpl.getProductSort()
static final org.eclipse.emf.ecore.EReference PRODUCT_SORT__ELEMENT_SORT
static final org.eclipse.emf.ecore.EClass BUILT_IN_CONSTANT
Built In Constant
' class.
static final org.eclipse.emf.ecore.EClass MULTISET_OPERATOR
Multiset Operator
' class.
static final org.eclipse.emf.ecore.EClass TUPLE
Tuple
' class.
TupleImpl
,
TermsPackageImpl.getTuple()
static final org.eclipse.emf.ecore.EClass SORT_DECL
Sort Decl
' class.
SortDeclImpl
,
TermsPackageImpl.getSortDecl()
static final org.eclipse.emf.ecore.EClass BUILT_IN_OPERATOR
Built In Operator
' class.
static final org.eclipse.emf.ecore.EClass NAMED_SORT
Named Sort
' class.
NamedSortImpl
,
TermsPackageImpl.getNamedSort()
static final org.eclipse.emf.ecore.EReference NAMED_SORT__SORTDEF
static final org.eclipse.emf.ecore.EClass USER_SORT
User Sort
' class.
UserSortImpl
,
TermsPackageImpl.getUserSort()
static final org.eclipse.emf.ecore.EReference USER_SORT__DECLARATION
static final org.eclipse.emf.ecore.EClass OPERATOR_DECL
Operator Decl
' class.
static final org.eclipse.emf.ecore.EClass NAMED_OPERATOR
Named Operator
' class.
static final org.eclipse.emf.ecore.EReference NAMED_OPERATOR__DEF
static final org.eclipse.emf.ecore.EReference NAMED_OPERATOR__PARAMETERS
static final org.eclipse.emf.ecore.EClass USER_OPERATOR
User Operator
' class.
static final org.eclipse.emf.ecore.EReference USER_OPERATOR__DECLARATION
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.