public interface TermsPackage
extends org.eclipse.emf.ecore.EPackage
TermsFactory
Modifier and Type | Interface and Description |
---|---|
static interface |
TermsPackage.Literals
Defines literals for the meta objects that represent
each class,
each feature of each class,
each enum,
and each data type
|
Modifier and Type | Field and Description |
---|---|
static int |
BUILT_IN_CONSTANT
The meta object id for the '
Built In Constant ' class |
static int |
BUILT_IN_CONSTANT__CONTAINER_CONDITION
The feature id for the 'Container Condition' container reference
|
static int |
BUILT_IN_CONSTANT__CONTAINER_HL_ANNOTATION
The feature id for the 'Container HL Annotation' container reference
|
static int |
BUILT_IN_CONSTANT__CONTAINER_HL_MARKING
The feature id for the 'Container HL Marking' container reference
|
static int |
BUILT_IN_CONSTANT__CONTAINER_NAMED_OPERATOR
The feature id for the 'Container Named Operator' container reference
|
static int |
BUILT_IN_CONSTANT__CONTAINER_OPERATOR
The feature id for the 'Container Operator' container reference
|
static int |
BUILT_IN_CONSTANT__CONTAINER_PARTITION_ELEMENT
The feature id for the 'Container Partition Element' container reference
|
static int |
BUILT_IN_CONSTANT__INPUT
The feature id for the 'Input' reference list
|
static int |
BUILT_IN_CONSTANT__OUTPUT
The feature id for the 'Output' reference
|
static int |
BUILT_IN_CONSTANT__SORT
The feature id for the 'Sort' reference
|
static int |
BUILT_IN_CONSTANT__SUBTERM
The feature id for the 'Subterm' containment reference list
|
static int |
BUILT_IN_CONSTANT_FEATURE_COUNT
The number of structural features of the 'Built In Constant' class
|
static int |
BUILT_IN_OPERATOR
The meta object id for the '
Built In Operator ' class |
static int |
BUILT_IN_OPERATOR__CONTAINER_CONDITION
The feature id for the 'Container Condition' container reference
|
static int |
BUILT_IN_OPERATOR__CONTAINER_HL_ANNOTATION
The feature id for the 'Container HL Annotation' container reference
|
static int |
BUILT_IN_OPERATOR__CONTAINER_HL_MARKING
The feature id for the 'Container HL Marking' container reference
|
static int |
BUILT_IN_OPERATOR__CONTAINER_NAMED_OPERATOR
The feature id for the 'Container Named Operator' container reference
|
static int |
BUILT_IN_OPERATOR__CONTAINER_OPERATOR
The feature id for the 'Container Operator' container reference
|
static int |
BUILT_IN_OPERATOR__CONTAINER_PARTITION_ELEMENT
The feature id for the 'Container Partition Element' container reference
|
static int |
BUILT_IN_OPERATOR__INPUT
The feature id for the 'Input' reference list
|
static int |
BUILT_IN_OPERATOR__OUTPUT
The feature id for the 'Output' reference
|
static int |
BUILT_IN_OPERATOR__SORT
The feature id for the 'Sort' reference
|
static int |
BUILT_IN_OPERATOR__SUBTERM
The feature id for the 'Subterm' containment reference list
|
static int |
BUILT_IN_OPERATOR_FEATURE_COUNT
The number of structural features of the 'Built In Operator' class
|
static int |
BUILT_IN_SORT
The meta object id for the '
Built In Sort ' class |
static int |
BUILT_IN_SORT__CONTAINER_ALL
The feature id for the 'Container All' container reference
|
static int |
BUILT_IN_SORT__CONTAINER_EMPTY
The feature id for the 'Container Empty' container reference
|
static int |
BUILT_IN_SORT__CONTAINER_EMPTY_LIST
The feature id for the 'Container Empty List' container reference
|
static int |
BUILT_IN_SORT__CONTAINER_LIST
The feature id for the 'Container List' container reference
|
static int |
BUILT_IN_SORT__CONTAINER_MAKE_LIST
The feature id for the 'Container Make List' container reference
|
static int |
BUILT_IN_SORT__CONTAINER_NAMED_SORT
The feature id for the 'Container Named Sort' container reference
|
static int |
BUILT_IN_SORT__CONTAINER_PARTITION
The feature id for the 'Container Partition' container reference
|
static int |
BUILT_IN_SORT__CONTAINER_PRODUCT_SORT
The feature id for the 'Container Product Sort' container reference
|
static int |
BUILT_IN_SORT__CONTAINER_TYPE
The feature id for the 'Container Type' container reference
|
static int |
BUILT_IN_SORT__CONTAINER_VARIABLE_DECL
The feature id for the 'Container Variable Decl' container reference
|
static int |
BUILT_IN_SORT__MULTI
The feature id for the 'Multi' container reference
|
static int |
BUILT_IN_SORT_FEATURE_COUNT
The number of structural features of the 'Built In Sort' class
|
static int |
DECLARATIONS
The meta object id for the '
Declarations ' class |
static int |
DECLARATIONS__CONTAINER_DECLARATION
The feature id for the 'Container Declaration' container reference
|
static int |
DECLARATIONS__DECLARATION
The feature id for the 'Declaration' containment reference list
|
static int |
DECLARATIONS_FEATURE_COUNT
The number of structural features of the 'Declarations' class
|
static TermsPackage |
eINSTANCE
The singleton instance of the package
|
static String |
eNAME
The package name
|
static String |
eNS_PREFIX
The package namespace name
|
static String |
eNS_URI
The package namespace URI
|
static int |
MULTISET_OPERATOR
The meta object id for the '
Multiset Operator ' class |
static int |
MULTISET_OPERATOR__CONTAINER_CONDITION
The feature id for the 'Container Condition' container reference
|
static int |
MULTISET_OPERATOR__CONTAINER_HL_ANNOTATION
The feature id for the 'Container HL Annotation' container reference
|
static int |
MULTISET_OPERATOR__CONTAINER_HL_MARKING
The feature id for the 'Container HL Marking' container reference
|
static int |
MULTISET_OPERATOR__CONTAINER_NAMED_OPERATOR
The feature id for the 'Container Named Operator' container reference
|
static int |
MULTISET_OPERATOR__CONTAINER_OPERATOR
The feature id for the 'Container Operator' container reference
|
static int |
MULTISET_OPERATOR__CONTAINER_PARTITION_ELEMENT
The feature id for the 'Container Partition Element' container reference
|
static int |
MULTISET_OPERATOR__INPUT
The feature id for the 'Input' reference list
|
static int |
MULTISET_OPERATOR__OUTPUT
The feature id for the 'Output' reference
|
static int |
MULTISET_OPERATOR__SORT
The feature id for the 'Sort' reference
|
static int |
MULTISET_OPERATOR__SUBTERM
The feature id for the 'Subterm' containment reference list
|
static int |
MULTISET_OPERATOR_FEATURE_COUNT
The number of structural features of the 'Multiset Operator' class
|
static int |
MULTISET_SORT
The meta object id for the '
Multiset Sort ' class |
static int |
MULTISET_SORT__BASIS
The feature id for the 'Basis' containment reference
|
static int |
MULTISET_SORT__CONTAINER_ALL
The feature id for the 'Container All' container reference
|
static int |
MULTISET_SORT__CONTAINER_EMPTY
The feature id for the 'Container Empty' container reference
|
static int |
MULTISET_SORT__CONTAINER_EMPTY_LIST
The feature id for the 'Container Empty List' container reference
|
static int |
MULTISET_SORT__CONTAINER_LIST
The feature id for the 'Container List' container reference
|
static int |
MULTISET_SORT__CONTAINER_MAKE_LIST
The feature id for the 'Container Make List' container reference
|
static int |
MULTISET_SORT__CONTAINER_NAMED_SORT
The feature id for the 'Container Named Sort' container reference
|
static int |
MULTISET_SORT__CONTAINER_PARTITION
The feature id for the 'Container Partition' container reference
|
static int |
MULTISET_SORT__CONTAINER_PRODUCT_SORT
The feature id for the 'Container Product Sort' container reference
|
static int |
MULTISET_SORT__CONTAINER_TYPE
The feature id for the 'Container Type' container reference
|
static int |
MULTISET_SORT__CONTAINER_VARIABLE_DECL
The feature id for the 'Container Variable Decl' container reference
|
static int |
MULTISET_SORT__MULTI
The feature id for the 'Multi' container reference
|
static int |
MULTISET_SORT_FEATURE_COUNT
The number of structural features of the 'Multiset Sort' class
|
static int |
NAMED_OPERATOR
The meta object id for the '
Named Operator ' class |
static int |
NAMED_OPERATOR__CONTAINER_DECLARATIONS
The feature id for the 'Container Declarations' container reference
|
static int |
NAMED_OPERATOR__DEF
The feature id for the 'Def' containment reference
|
static int |
NAMED_OPERATOR__ID
The feature id for the 'Id' attribute
|
static int |
NAMED_OPERATOR__NAME
The feature id for the 'Name' attribute
|
static int |
NAMED_OPERATOR__PARAMETERS
The feature id for the 'Parameters' containment reference list
|
static int |
NAMED_OPERATOR_FEATURE_COUNT
The number of structural features of the 'Named Operator' class
|
static int |
NAMED_SORT
The meta object id for the '
Named Sort ' class |
static int |
NAMED_SORT__CONTAINER_DECLARATIONS
The feature id for the 'Container Declarations' container reference
|
static int |
NAMED_SORT__ID
The feature id for the 'Id' attribute
|
static int |
NAMED_SORT__NAME
The feature id for the 'Name' attribute
|
static int |
NAMED_SORT__SORTDEF
The feature id for the 'Sortdef' containment reference
|
static int |
NAMED_SORT_FEATURE_COUNT
The number of structural features of the 'Named Sort' class
|
static int |
OPERATOR
The meta object id for the '
Operator ' class |
static int |
OPERATOR__CONTAINER_CONDITION
The feature id for the 'Container Condition' container reference
|
static int |
OPERATOR__CONTAINER_HL_ANNOTATION
The feature id for the 'Container HL Annotation' container reference
|
static int |
OPERATOR__CONTAINER_HL_MARKING
The feature id for the 'Container HL Marking' container reference
|
static int |
OPERATOR__CONTAINER_NAMED_OPERATOR
The feature id for the 'Container Named Operator' container reference
|
static int |
OPERATOR__CONTAINER_OPERATOR
The feature id for the 'Container Operator' container reference
|
static int |
OPERATOR__CONTAINER_PARTITION_ELEMENT
The feature id for the 'Container Partition Element' container reference
|
static int |
OPERATOR__INPUT
The feature id for the 'Input' reference list
|
static int |
OPERATOR__OUTPUT
The feature id for the 'Output' reference
|
static int |
OPERATOR__SORT
The feature id for the 'Sort' reference
|
static int |
OPERATOR__SUBTERM
The feature id for the 'Subterm' containment reference list
|
static int |
OPERATOR_DECL
The meta object id for the '
Operator Decl ' class |
static int |
OPERATOR_DECL__CONTAINER_DECLARATIONS
The feature id for the 'Container Declarations' container reference
|
static int |
OPERATOR_DECL__ID
The feature id for the 'Id' attribute
|
static int |
OPERATOR_DECL__NAME
The feature id for the 'Name' attribute
|
static int |
OPERATOR_DECL_FEATURE_COUNT
The number of structural features of the 'Operator Decl' class
|
static int |
OPERATOR_FEATURE_COUNT
The number of structural features of the 'Operator' class
|
static int |
PRODUCT_SORT
The meta object id for the '
Product Sort ' class |
static int |
PRODUCT_SORT__CONTAINER_ALL
The feature id for the 'Container All' container reference
|
static int |
PRODUCT_SORT__CONTAINER_EMPTY
The feature id for the 'Container Empty' container reference
|
static int |
PRODUCT_SORT__CONTAINER_EMPTY_LIST
The feature id for the 'Container Empty List' container reference
|
static int |
PRODUCT_SORT__CONTAINER_LIST
The feature id for the 'Container List' container reference
|
static int |
PRODUCT_SORT__CONTAINER_MAKE_LIST
The feature id for the 'Container Make List' container reference
|
static int |
PRODUCT_SORT__CONTAINER_NAMED_SORT
The feature id for the 'Container Named Sort' container reference
|
static int |
PRODUCT_SORT__CONTAINER_PARTITION
The feature id for the 'Container Partition' container reference
|
static int |
PRODUCT_SORT__CONTAINER_PRODUCT_SORT
The feature id for the 'Container Product Sort' container reference
|
static int |
PRODUCT_SORT__CONTAINER_TYPE
The feature id for the 'Container Type' container reference
|
static int |
PRODUCT_SORT__CONTAINER_VARIABLE_DECL
The feature id for the 'Container Variable Decl' container reference
|
static int |
PRODUCT_SORT__ELEMENT_SORT
The feature id for the 'Element Sort' containment reference list
|
static int |
PRODUCT_SORT__MULTI
The feature id for the 'Multi' container reference
|
static int |
PRODUCT_SORT_FEATURE_COUNT
The number of structural features of the 'Product Sort' class
|
static int |
SORT
The meta object id for the '
Sort ' class |
static int |
SORT__CONTAINER_ALL
The feature id for the 'Container All' container reference
|
static int |
SORT__CONTAINER_EMPTY
The feature id for the 'Container Empty' container reference
|
static int |
SORT__CONTAINER_EMPTY_LIST
The feature id for the 'Container Empty List' container reference
|
static int |
SORT__CONTAINER_LIST
The feature id for the 'Container List' container reference
|
static int |
SORT__CONTAINER_MAKE_LIST
The feature id for the 'Container Make List' container reference
|
static int |
SORT__CONTAINER_NAMED_SORT
The feature id for the 'Container Named Sort' container reference
|
static int |
SORT__CONTAINER_PARTITION
The feature id for the 'Container Partition' container reference
|
static int |
SORT__CONTAINER_PRODUCT_SORT
The feature id for the 'Container Product Sort' container reference
|
static int |
SORT__CONTAINER_TYPE
The feature id for the 'Container Type' container reference
|
static int |
SORT__CONTAINER_VARIABLE_DECL
The feature id for the 'Container Variable Decl' container reference
|
static int |
SORT__MULTI
The feature id for the 'Multi' container reference
|
static int |
SORT_DECL
The meta object id for the '
Sort Decl ' class |
static int |
SORT_DECL__CONTAINER_DECLARATIONS
The feature id for the 'Container Declarations' container reference
|
static int |
SORT_DECL__ID
The feature id for the 'Id' attribute
|
static int |
SORT_DECL__NAME
The feature id for the 'Name' attribute
|
static int |
SORT_DECL_FEATURE_COUNT
The number of structural features of the 'Sort Decl' class
|
static int |
SORT_FEATURE_COUNT
The number of structural features of the 'Sort' class
|
static int |
TERM
The meta object id for the '
Term ' class |
static int |
TERM__CONTAINER_CONDITION
The feature id for the 'Container Condition' container reference
|
static int |
TERM__CONTAINER_HL_ANNOTATION
The feature id for the 'Container HL Annotation' container reference
|
static int |
TERM__CONTAINER_HL_MARKING
The feature id for the 'Container HL Marking' container reference
|
static int |
TERM__CONTAINER_NAMED_OPERATOR
The feature id for the 'Container Named Operator' container reference
|
static int |
TERM__CONTAINER_OPERATOR
The feature id for the 'Container Operator' container reference
|
static int |
TERM__CONTAINER_PARTITION_ELEMENT
The feature id for the 'Container Partition Element' container reference
|
static int |
TERM__SORT
The feature id for the 'Sort' reference
|
static int |
TERM_FEATURE_COUNT
The number of structural features of the 'Term' class
|
static int |
TERMS_DECLARATION
The meta object id for the '
Declaration ' class |
static int |
TERMS_DECLARATION__CONTAINER_DECLARATIONS
The feature id for the 'Container Declarations' container reference
|
static int |
TERMS_DECLARATION__ID
The feature id for the 'Id' attribute
|
static int |
TERMS_DECLARATION__NAME
The feature id for the 'Name' attribute
|
static int |
TERMS_DECLARATION_FEATURE_COUNT
The number of structural features of the 'Declaration' class
|
static int |
TUPLE
The meta object id for the '
Tuple ' class |
static int |
TUPLE__CONTAINER_CONDITION
The feature id for the 'Container Condition' container reference
|
static int |
TUPLE__CONTAINER_HL_ANNOTATION
The feature id for the 'Container HL Annotation' container reference
|
static int |
TUPLE__CONTAINER_HL_MARKING
The feature id for the 'Container HL Marking' container reference
|
static int |
TUPLE__CONTAINER_NAMED_OPERATOR
The feature id for the 'Container Named Operator' container reference
|
static int |
TUPLE__CONTAINER_OPERATOR
The feature id for the 'Container Operator' container reference
|
static int |
TUPLE__CONTAINER_PARTITION_ELEMENT
The feature id for the 'Container Partition Element' container reference
|
static int |
TUPLE__INPUT
The feature id for the 'Input' reference list
|
static int |
TUPLE__OUTPUT
The feature id for the 'Output' reference
|
static int |
TUPLE__SORT
The feature id for the 'Sort' reference
|
static int |
TUPLE__SUBTERM
The feature id for the 'Subterm' containment reference list
|
static int |
TUPLE_FEATURE_COUNT
The number of structural features of the 'Tuple' class
|
static int |
USER_OPERATOR
The meta object id for the '
User Operator ' class |
static int |
USER_OPERATOR__CONTAINER_CONDITION
The feature id for the 'Container Condition' container reference
|
static int |
USER_OPERATOR__CONTAINER_HL_ANNOTATION
The feature id for the 'Container HL Annotation' container reference
|
static int |
USER_OPERATOR__CONTAINER_HL_MARKING
The feature id for the 'Container HL Marking' container reference
|
static int |
USER_OPERATOR__CONTAINER_NAMED_OPERATOR
The feature id for the 'Container Named Operator' container reference
|
static int |
USER_OPERATOR__CONTAINER_OPERATOR
The feature id for the 'Container Operator' container reference
|
static int |
USER_OPERATOR__CONTAINER_PARTITION_ELEMENT
The feature id for the 'Container Partition Element' container reference
|
static int |
USER_OPERATOR__DECLARATION
The feature id for the 'Declaration' reference
|
static int |
USER_OPERATOR__INPUT
The feature id for the 'Input' reference list
|
static int |
USER_OPERATOR__OUTPUT
The feature id for the 'Output' reference
|
static int |
USER_OPERATOR__SORT
The feature id for the 'Sort' reference
|
static int |
USER_OPERATOR__SUBTERM
The feature id for the 'Subterm' containment reference list
|
static int |
USER_OPERATOR_FEATURE_COUNT
The number of structural features of the 'User Operator' class
|
static int |
USER_SORT
The meta object id for the '
User Sort ' class |
static int |
USER_SORT__CONTAINER_ALL
The feature id for the 'Container All' container reference
|
static int |
USER_SORT__CONTAINER_EMPTY
The feature id for the 'Container Empty' container reference
|
static int |
USER_SORT__CONTAINER_EMPTY_LIST
The feature id for the 'Container Empty List' container reference
|
static int |
USER_SORT__CONTAINER_LIST
The feature id for the 'Container List' container reference
|
static int |
USER_SORT__CONTAINER_MAKE_LIST
The feature id for the 'Container Make List' container reference
|
static int |
USER_SORT__CONTAINER_NAMED_SORT
The feature id for the 'Container Named Sort' container reference
|
static int |
USER_SORT__CONTAINER_PARTITION
The feature id for the 'Container Partition' container reference
|
static int |
USER_SORT__CONTAINER_PRODUCT_SORT
The feature id for the 'Container Product Sort' container reference
|
static int |
USER_SORT__CONTAINER_TYPE
The feature id for the 'Container Type' container reference
|
static int |
USER_SORT__CONTAINER_VARIABLE_DECL
The feature id for the 'Container Variable Decl' container reference
|
static int |
USER_SORT__DECLARATION
The feature id for the 'Declaration' reference
|
static int |
USER_SORT__MULTI
The feature id for the 'Multi' container reference
|
static int |
USER_SORT_FEATURE_COUNT
The number of structural features of the 'User Sort' class
|
static int |
VARIABLE
The meta object id for the '
Variable ' class |
static int |
VARIABLE__CONTAINER_CONDITION
The feature id for the 'Container Condition' container reference
|
static int |
VARIABLE__CONTAINER_HL_ANNOTATION
The feature id for the 'Container HL Annotation' container reference
|
static int |
VARIABLE__CONTAINER_HL_MARKING
The feature id for the 'Container HL Marking' container reference
|
static int |
VARIABLE__CONTAINER_NAMED_OPERATOR
The feature id for the 'Container Named Operator' container reference
|
static int |
VARIABLE__CONTAINER_OPERATOR
The feature id for the 'Container Operator' container reference
|
static int |
VARIABLE__CONTAINER_PARTITION_ELEMENT
The feature id for the 'Container Partition Element' container reference
|
static int |
VARIABLE__SORT
The feature id for the 'Sort' reference
|
static int |
VARIABLE__VARIABLE_DECL
The feature id for the 'Variable Decl' reference
|
static int |
VARIABLE_DECL
The meta object id for the '
Variable Decl ' class |
static int |
VARIABLE_DECL__CONTAINER_DECLARATIONS
The feature id for the 'Container Declarations' container reference
|
static int |
VARIABLE_DECL__CONTAINER_NAMED_OPERATOR
The feature id for the 'Container Named Operator' container reference
|
static int |
VARIABLE_DECL__ID
The feature id for the 'Id' attribute
|
static int |
VARIABLE_DECL__NAME
The feature id for the 'Name' attribute
|
static int |
VARIABLE_DECL__SORT
The feature id for the 'Sort' containment reference
|
static int |
VARIABLE_DECL_FEATURE_COUNT
The number of structural features of the 'Variable Decl' class
|
static int |
VARIABLE_FEATURE_COUNT
The number of structural features of the 'Variable' class
|
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.ecore.EClass |
getBuiltInConstant()
Returns the meta object for class '
Built In Constant ' |
org.eclipse.emf.ecore.EClass |
getBuiltInOperator()
Returns the meta object for class '
Built In Operator ' |
org.eclipse.emf.ecore.EClass |
getBuiltInSort()
Returns the meta object for class '
Built In Sort ' |
org.eclipse.emf.ecore.EReference |
getDeclarations_ContainerDeclaration()
Returns the meta object for the container reference '
Container Declaration ' |
org.eclipse.emf.ecore.EReference |
getDeclarations_Declaration()
Returns the meta object for the containment reference list '
Declaration ' |
org.eclipse.emf.ecore.EClass |
getDeclarations()
Returns the meta object for class '
Declarations ' |
org.eclipse.emf.ecore.EClass |
getMultisetOperator()
Returns the meta object for class '
Multiset Operator ' |
org.eclipse.emf.ecore.EReference |
getMultisetSort_Basis()
Returns the meta object for the containment reference '
Basis ' |
org.eclipse.emf.ecore.EClass |
getMultisetSort()
Returns the meta object for class '
Multiset Sort ' |
org.eclipse.emf.ecore.EReference |
getNamedOperator_Def()
Returns the meta object for the containment reference '
Def ' |
org.eclipse.emf.ecore.EReference |
getNamedOperator_Parameters()
Returns the meta object for the containment reference list '
Parameters ' |
org.eclipse.emf.ecore.EClass |
getNamedOperator()
Returns the meta object for class '
Named Operator ' |
org.eclipse.emf.ecore.EReference |
getNamedSort_Sortdef()
Returns the meta object for the containment reference '
Sortdef ' |
org.eclipse.emf.ecore.EClass |
getNamedSort()
Returns the meta object for class '
Named Sort ' |
org.eclipse.emf.ecore.EReference |
getOperator_Input()
Returns the meta object for the reference list '
Input ' |
org.eclipse.emf.ecore.EReference |
getOperator_Output()
Returns the meta object for the reference '
Output ' |
org.eclipse.emf.ecore.EReference |
getOperator_Subterm()
Returns the meta object for the containment reference list '
Subterm ' |
org.eclipse.emf.ecore.EClass |
getOperator()
Returns the meta object for class '
Operator ' |
org.eclipse.emf.ecore.EClass |
getOperatorDecl()
Returns the meta object for class '
Operator Decl ' |
org.eclipse.emf.ecore.EReference |
getProductSort_ElementSort()
Returns the meta object for the containment reference list '
Element Sort ' |
org.eclipse.emf.ecore.EClass |
getProductSort()
Returns the meta object for class '
Product Sort ' |
org.eclipse.emf.ecore.EReference |
getSort_ContainerAll()
Returns the meta object for the container reference '
Container All ' |
org.eclipse.emf.ecore.EReference |
getSort_ContainerEmpty()
Returns the meta object for the container reference '
Container Empty ' |
org.eclipse.emf.ecore.EReference |
getSort_ContainerEmptyList()
Returns the meta object for the container reference '
Container Empty List ' |
org.eclipse.emf.ecore.EReference |
getSort_ContainerList()
Returns the meta object for the container reference '
Container List ' |
org.eclipse.emf.ecore.EReference |
getSort_ContainerMakeList()
Returns the meta object for the container reference '
Container Make List ' |
org.eclipse.emf.ecore.EReference |
getSort_ContainerNamedSort()
Returns the meta object for the container reference '
Container Named Sort ' |
org.eclipse.emf.ecore.EReference |
getSort_ContainerPartition()
Returns the meta object for the container reference '
Container Partition ' |
org.eclipse.emf.ecore.EReference |
getSort_ContainerProductSort()
Returns the meta object for the container reference '
Container Product Sort ' |
org.eclipse.emf.ecore.EReference |
getSort_ContainerType()
Returns the meta object for the container reference '
Container Type ' |
org.eclipse.emf.ecore.EReference |
getSort_ContainerVariableDecl()
Returns the meta object for the container reference '
Container Variable Decl ' |
org.eclipse.emf.ecore.EReference |
getSort_Multi()
Returns the meta object for the container reference '
Multi ' |
org.eclipse.emf.ecore.EClass |
getSort()
Returns the meta object for class '
Sort ' |
org.eclipse.emf.ecore.EClass |
getSortDecl()
Returns the meta object for class '
Sort Decl ' |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerCondition()
Returns the meta object for the container reference '
Container Condition ' |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerHLAnnotation()
Returns the meta object for the container reference '
Container HL Annotation ' |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerHLMarking()
Returns the meta object for the container reference '
Container HL Marking ' |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerNamedOperator()
Returns the meta object for the container reference '
Container Named Operator ' |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerOperator()
Returns the meta object for the container reference '
Container Operator ' |
org.eclipse.emf.ecore.EReference |
getTerm_ContainerPartitionElement()
Returns the meta object for the container reference '
Container Partition Element ' |
org.eclipse.emf.ecore.EReference |
getTerm_Sort()
Returns the meta object for the reference '
Sort ' |
org.eclipse.emf.ecore.EClass |
getTerm()
Returns the meta object for class '
Term ' |
org.eclipse.emf.ecore.EReference |
getTermsDeclaration_ContainerDeclarations()
Returns the meta object for the container reference '
Container Declarations ' |
org.eclipse.emf.ecore.EAttribute |
getTermsDeclaration_Id()
Returns the meta object for the attribute '
Id ' |
org.eclipse.emf.ecore.EAttribute |
getTermsDeclaration_Name()
Returns the meta object for the attribute '
Name ' |
org.eclipse.emf.ecore.EClass |
getTermsDeclaration()
Returns the meta object for class '
Declaration ' |
TermsFactory |
getTermsFactory()
Returns the factory that creates the instances of the model
|
org.eclipse.emf.ecore.EClass |
getTuple()
Returns the meta object for class '
Tuple ' |
org.eclipse.emf.ecore.EReference |
getUserOperator_Declaration()
Returns the meta object for the reference '
Declaration ' |
org.eclipse.emf.ecore.EClass |
getUserOperator()
Returns the meta object for class '
User Operator ' |
org.eclipse.emf.ecore.EReference |
getUserSort_Declaration()
Returns the meta object for the reference '
Declaration ' |
org.eclipse.emf.ecore.EClass |
getUserSort()
Returns the meta object for class '
User Sort ' |
org.eclipse.emf.ecore.EReference |
getVariable_VariableDecl()
Returns the meta object for the reference '
Variable Decl ' |
org.eclipse.emf.ecore.EClass |
getVariable()
Returns the meta object for class '
Variable ' |
org.eclipse.emf.ecore.EReference |
getVariableDecl_ContainerNamedOperator()
Returns the meta object for the container reference '
Container Named Operator ' |
org.eclipse.emf.ecore.EReference |
getVariableDecl_Sort()
Returns the meta object for the containment reference '
Sort ' |
org.eclipse.emf.ecore.EClass |
getVariableDecl()
Returns the meta object for class '
Variable Decl ' |
getEClassifier, getEClassifiers, getEFactoryInstance, getESubpackages, getESuperPackage, getNsPrefix, getNsURI, setEFactoryInstance, setNsPrefix, setNsURI
getEAnnotation, getEAnnotations
static final String eNAME
static final String eNS_URI
static final String eNS_PREFIX
static final TermsPackage eINSTANCE
static final int DECLARATIONS
Declarations
' class.
static final int DECLARATIONS__DECLARATION
static final int DECLARATIONS__CONTAINER_DECLARATION
static final int DECLARATIONS_FEATURE_COUNT
static final int TERMS_DECLARATION
Declaration
' class.
static final int TERMS_DECLARATION__ID
static final int TERMS_DECLARATION__NAME
static final int TERMS_DECLARATION__CONTAINER_DECLARATIONS
static final int TERMS_DECLARATION_FEATURE_COUNT
static final int SORT
Sort
' class.
SortImpl
,
TermsPackageImpl.getSort()
,
Constant Field Valuesstatic final int SORT__MULTI
static final int SORT__CONTAINER_NAMED_SORT
static final int SORT__CONTAINER_VARIABLE_DECL
static final int SORT__CONTAINER_PRODUCT_SORT
static final int SORT__CONTAINER_TYPE
static final int SORT__CONTAINER_ALL
static final int SORT__CONTAINER_EMPTY
static final int SORT__CONTAINER_PARTITION
static final int SORT__CONTAINER_LIST
static final int SORT__CONTAINER_EMPTY_LIST
static final int SORT__CONTAINER_MAKE_LIST
static final int SORT_FEATURE_COUNT
static final int MULTISET_SORT
Multiset Sort
' class.
static final int MULTISET_SORT__MULTI
static final int MULTISET_SORT__CONTAINER_NAMED_SORT
static final int MULTISET_SORT__CONTAINER_VARIABLE_DECL
static final int MULTISET_SORT__CONTAINER_PRODUCT_SORT
static final int MULTISET_SORT__CONTAINER_TYPE
static final int MULTISET_SORT__CONTAINER_ALL
static final int MULTISET_SORT__CONTAINER_EMPTY
static final int MULTISET_SORT__CONTAINER_PARTITION
static final int MULTISET_SORT__CONTAINER_LIST
static final int MULTISET_SORT__CONTAINER_EMPTY_LIST
static final int MULTISET_SORT__CONTAINER_MAKE_LIST
static final int MULTISET_SORT__BASIS
static final int MULTISET_SORT_FEATURE_COUNT
static final int TERM
Term
' class.
TermImpl
,
TermsPackageImpl.getTerm()
,
Constant Field Valuesstatic final int TERM__SORT
static final int TERM__CONTAINER_OPERATOR
static final int TERM__CONTAINER_NAMED_OPERATOR
static final int TERM__CONTAINER_HL_MARKING
static final int TERM__CONTAINER_CONDITION
static final int TERM__CONTAINER_HL_ANNOTATION
static final int TERM__CONTAINER_PARTITION_ELEMENT
static final int TERM_FEATURE_COUNT
static final int OPERATOR
Operator
' class.
static final int OPERATOR__SORT
static final int OPERATOR__CONTAINER_OPERATOR
static final int OPERATOR__CONTAINER_NAMED_OPERATOR
static final int OPERATOR__CONTAINER_HL_MARKING
static final int OPERATOR__CONTAINER_CONDITION
static final int OPERATOR__CONTAINER_HL_ANNOTATION
static final int OPERATOR__CONTAINER_PARTITION_ELEMENT
static final int OPERATOR__SUBTERM
static final int OPERATOR__OUTPUT
static final int OPERATOR__INPUT
static final int OPERATOR_FEATURE_COUNT
static final int VARIABLE_DECL
Variable Decl
' class.
static final int VARIABLE_DECL__ID
static final int VARIABLE_DECL__NAME
static final int VARIABLE_DECL__CONTAINER_DECLARATIONS
static final int VARIABLE_DECL__SORT
static final int VARIABLE_DECL__CONTAINER_NAMED_OPERATOR
static final int VARIABLE_DECL_FEATURE_COUNT
static final int VARIABLE
Variable
' class.
static final int VARIABLE__SORT
static final int VARIABLE__CONTAINER_OPERATOR
static final int VARIABLE__CONTAINER_NAMED_OPERATOR
static final int VARIABLE__CONTAINER_HL_MARKING
static final int VARIABLE__CONTAINER_CONDITION
static final int VARIABLE__CONTAINER_HL_ANNOTATION
static final int VARIABLE__CONTAINER_PARTITION_ELEMENT
static final int VARIABLE__VARIABLE_DECL
static final int VARIABLE_FEATURE_COUNT
static final int BUILT_IN_SORT
Built In Sort
' class.
static final int BUILT_IN_SORT__MULTI
static final int BUILT_IN_SORT__CONTAINER_NAMED_SORT
static final int BUILT_IN_SORT__CONTAINER_VARIABLE_DECL
static final int BUILT_IN_SORT__CONTAINER_PRODUCT_SORT
static final int BUILT_IN_SORT__CONTAINER_TYPE
static final int BUILT_IN_SORT__CONTAINER_ALL
static final int BUILT_IN_SORT__CONTAINER_EMPTY
static final int BUILT_IN_SORT__CONTAINER_PARTITION
static final int BUILT_IN_SORT__CONTAINER_LIST
static final int BUILT_IN_SORT__CONTAINER_EMPTY_LIST
static final int BUILT_IN_SORT__CONTAINER_MAKE_LIST
static final int BUILT_IN_SORT_FEATURE_COUNT
static final int PRODUCT_SORT
Product Sort
' class.
static final int PRODUCT_SORT__MULTI
static final int PRODUCT_SORT__CONTAINER_NAMED_SORT
static final int PRODUCT_SORT__CONTAINER_VARIABLE_DECL
static final int PRODUCT_SORT__CONTAINER_PRODUCT_SORT
static final int PRODUCT_SORT__CONTAINER_TYPE
static final int PRODUCT_SORT__CONTAINER_ALL
static final int PRODUCT_SORT__CONTAINER_EMPTY
static final int PRODUCT_SORT__CONTAINER_PARTITION
static final int PRODUCT_SORT__CONTAINER_LIST
static final int PRODUCT_SORT__CONTAINER_EMPTY_LIST
static final int PRODUCT_SORT__CONTAINER_MAKE_LIST
static final int PRODUCT_SORT__ELEMENT_SORT
static final int PRODUCT_SORT_FEATURE_COUNT
static final int BUILT_IN_CONSTANT
Built In Constant
' class.
static final int BUILT_IN_CONSTANT__SORT
static final int BUILT_IN_CONSTANT__CONTAINER_OPERATOR
static final int BUILT_IN_CONSTANT__CONTAINER_NAMED_OPERATOR
static final int BUILT_IN_CONSTANT__CONTAINER_HL_MARKING
static final int BUILT_IN_CONSTANT__CONTAINER_CONDITION
static final int BUILT_IN_CONSTANT__CONTAINER_HL_ANNOTATION
static final int BUILT_IN_CONSTANT__CONTAINER_PARTITION_ELEMENT
static final int BUILT_IN_CONSTANT__SUBTERM
static final int BUILT_IN_CONSTANT__OUTPUT
static final int BUILT_IN_CONSTANT__INPUT
static final int BUILT_IN_CONSTANT_FEATURE_COUNT
static final int MULTISET_OPERATOR
Multiset Operator
' class.
static final int MULTISET_OPERATOR__SORT
static final int MULTISET_OPERATOR__CONTAINER_OPERATOR
static final int MULTISET_OPERATOR__CONTAINER_NAMED_OPERATOR
static final int MULTISET_OPERATOR__CONTAINER_HL_MARKING
static final int MULTISET_OPERATOR__CONTAINER_CONDITION
static final int MULTISET_OPERATOR__CONTAINER_HL_ANNOTATION
static final int MULTISET_OPERATOR__CONTAINER_PARTITION_ELEMENT
static final int MULTISET_OPERATOR__SUBTERM
static final int MULTISET_OPERATOR__OUTPUT
static final int MULTISET_OPERATOR__INPUT
static final int MULTISET_OPERATOR_FEATURE_COUNT
static final int TUPLE
Tuple
' class.
static final int TUPLE__SORT
static final int TUPLE__CONTAINER_OPERATOR
static final int TUPLE__CONTAINER_NAMED_OPERATOR
static final int TUPLE__CONTAINER_HL_MARKING
static final int TUPLE__CONTAINER_CONDITION
static final int TUPLE__CONTAINER_HL_ANNOTATION
static final int TUPLE__CONTAINER_PARTITION_ELEMENT
static final int TUPLE__SUBTERM
static final int TUPLE__OUTPUT
static final int TUPLE__INPUT
static final int TUPLE_FEATURE_COUNT
static final int SORT_DECL
Sort Decl
' class.
static final int SORT_DECL__ID
static final int SORT_DECL__NAME
static final int SORT_DECL__CONTAINER_DECLARATIONS
static final int SORT_DECL_FEATURE_COUNT
static final int BUILT_IN_OPERATOR
Built In Operator
' class.
static final int BUILT_IN_OPERATOR__SORT
static final int BUILT_IN_OPERATOR__CONTAINER_OPERATOR
static final int BUILT_IN_OPERATOR__CONTAINER_NAMED_OPERATOR
static final int BUILT_IN_OPERATOR__CONTAINER_HL_MARKING
static final int BUILT_IN_OPERATOR__CONTAINER_CONDITION
static final int BUILT_IN_OPERATOR__CONTAINER_HL_ANNOTATION
static final int BUILT_IN_OPERATOR__CONTAINER_PARTITION_ELEMENT
static final int BUILT_IN_OPERATOR__SUBTERM
static final int BUILT_IN_OPERATOR__OUTPUT
static final int BUILT_IN_OPERATOR__INPUT
static final int BUILT_IN_OPERATOR_FEATURE_COUNT
static final int NAMED_SORT
Named Sort
' class.
static final int NAMED_SORT__ID
static final int NAMED_SORT__NAME
static final int NAMED_SORT__CONTAINER_DECLARATIONS
static final int NAMED_SORT__SORTDEF
static final int NAMED_SORT_FEATURE_COUNT
static final int USER_SORT
User Sort
' class.
static final int USER_SORT__MULTI
static final int USER_SORT__CONTAINER_NAMED_SORT
static final int USER_SORT__CONTAINER_VARIABLE_DECL
static final int USER_SORT__CONTAINER_PRODUCT_SORT
static final int USER_SORT__CONTAINER_TYPE
static final int USER_SORT__CONTAINER_ALL
static final int USER_SORT__CONTAINER_EMPTY
static final int USER_SORT__CONTAINER_PARTITION
static final int USER_SORT__CONTAINER_LIST
static final int USER_SORT__CONTAINER_EMPTY_LIST
static final int USER_SORT__CONTAINER_MAKE_LIST
static final int USER_SORT__DECLARATION
static final int USER_SORT_FEATURE_COUNT
static final int OPERATOR_DECL
Operator Decl
' class.
static final int OPERATOR_DECL__ID
static final int OPERATOR_DECL__NAME
static final int OPERATOR_DECL__CONTAINER_DECLARATIONS
static final int OPERATOR_DECL_FEATURE_COUNT
static final int NAMED_OPERATOR
Named Operator
' class.
static final int NAMED_OPERATOR__ID
static final int NAMED_OPERATOR__NAME
static final int NAMED_OPERATOR__CONTAINER_DECLARATIONS
static final int NAMED_OPERATOR__DEF
static final int NAMED_OPERATOR__PARAMETERS
static final int NAMED_OPERATOR_FEATURE_COUNT
static final int USER_OPERATOR
User Operator
' class.
static final int USER_OPERATOR__SORT
static final int USER_OPERATOR__CONTAINER_OPERATOR
static final int USER_OPERATOR__CONTAINER_NAMED_OPERATOR
static final int USER_OPERATOR__CONTAINER_HL_MARKING
static final int USER_OPERATOR__CONTAINER_CONDITION
static final int USER_OPERATOR__CONTAINER_HL_ANNOTATION
static final int USER_OPERATOR__CONTAINER_PARTITION_ELEMENT
static final int USER_OPERATOR__SUBTERM
static final int USER_OPERATOR__OUTPUT
static final int USER_OPERATOR__INPUT
static final int USER_OPERATOR__DECLARATION
static final int USER_OPERATOR_FEATURE_COUNT
org.eclipse.emf.ecore.EClass getDeclarations()
Declarations
'.
Declarations
org.eclipse.emf.ecore.EReference getDeclarations_Declaration()
Declaration
'.
Declarations.getDeclaration()
,
getDeclarations()
org.eclipse.emf.ecore.EReference getDeclarations_ContainerDeclaration()
Container Declaration
'.
Declarations.getContainerDeclaration()
,
getDeclarations()
org.eclipse.emf.ecore.EClass getTermsDeclaration()
Declaration
'.
TermsDeclaration
org.eclipse.emf.ecore.EAttribute getTermsDeclaration_Id()
Id
'.
TermsDeclaration.getId()
,
getTermsDeclaration()
org.eclipse.emf.ecore.EAttribute getTermsDeclaration_Name()
Name
'.
TermsDeclaration.getName()
,
getTermsDeclaration()
org.eclipse.emf.ecore.EReference getTermsDeclaration_ContainerDeclarations()
Container Declarations
'.
TermsDeclaration.getContainerDeclarations()
,
getTermsDeclaration()
org.eclipse.emf.ecore.EClass getSort()
Sort
'.
Sort
org.eclipse.emf.ecore.EReference getSort_Multi()
Multi
'.
Sort.getMulti()
,
getSort()
org.eclipse.emf.ecore.EReference getSort_ContainerNamedSort()
Container Named Sort
'.
Sort.getContainerNamedSort()
,
getSort()
org.eclipse.emf.ecore.EReference getSort_ContainerVariableDecl()
Container Variable Decl
'.
Sort.getContainerVariableDecl()
,
getSort()
org.eclipse.emf.ecore.EReference getSort_ContainerProductSort()
Container Product Sort
'.
Sort.getContainerProductSort()
,
getSort()
org.eclipse.emf.ecore.EReference getSort_ContainerType()
Container Type
'.
Sort.getContainerType()
,
getSort()
org.eclipse.emf.ecore.EReference getSort_ContainerAll()
Container All
'.
Sort.getContainerAll()
,
getSort()
org.eclipse.emf.ecore.EReference getSort_ContainerEmpty()
Container Empty
'.
Sort.getContainerEmpty()
,
getSort()
org.eclipse.emf.ecore.EReference getSort_ContainerPartition()
Container Partition
'.
Sort.getContainerPartition()
,
getSort()
org.eclipse.emf.ecore.EReference getSort_ContainerList()
Container List
'.
Sort.getContainerList()
,
getSort()
org.eclipse.emf.ecore.EReference getSort_ContainerEmptyList()
Container Empty List
'.
Sort.getContainerEmptyList()
,
getSort()
org.eclipse.emf.ecore.EReference getSort_ContainerMakeList()
Container Make List
'.
Sort.getContainerMakeList()
,
getSort()
org.eclipse.emf.ecore.EClass getMultisetSort()
Multiset Sort
'.
MultisetSort
org.eclipse.emf.ecore.EReference getMultisetSort_Basis()
Basis
'.
MultisetSort.getBasis()
,
getMultisetSort()
org.eclipse.emf.ecore.EClass getTerm()
Term
'.
Term
org.eclipse.emf.ecore.EReference getTerm_Sort()
Sort
'.
Term.getSort()
,
getTerm()
org.eclipse.emf.ecore.EReference getTerm_ContainerOperator()
Container Operator
'.
Term.getContainerOperator()
,
getTerm()
org.eclipse.emf.ecore.EReference getTerm_ContainerNamedOperator()
Container Named Operator
'.
Term.getContainerNamedOperator()
,
getTerm()
org.eclipse.emf.ecore.EReference getTerm_ContainerHLMarking()
Container HL Marking
'.
Term.getContainerHLMarking()
,
getTerm()
org.eclipse.emf.ecore.EReference getTerm_ContainerCondition()
Container Condition
'.
Term.getContainerCondition()
,
getTerm()
org.eclipse.emf.ecore.EReference getTerm_ContainerHLAnnotation()
Container HL Annotation
'.
Term.getContainerHLAnnotation()
,
getTerm()
org.eclipse.emf.ecore.EReference getTerm_ContainerPartitionElement()
Container Partition Element
'.
Term.getContainerPartitionElement()
,
getTerm()
org.eclipse.emf.ecore.EClass getOperator()
Operator
'.
Operator
org.eclipse.emf.ecore.EReference getOperator_Subterm()
Subterm
'.
Operator.getSubterm()
,
getOperator()
org.eclipse.emf.ecore.EReference getOperator_Output()
Output
'.
Operator.getOutput()
,
getOperator()
org.eclipse.emf.ecore.EReference getOperator_Input()
Input
'.
Operator.getInput()
,
getOperator()
org.eclipse.emf.ecore.EClass getVariableDecl()
Variable Decl
'.
VariableDecl
org.eclipse.emf.ecore.EReference getVariableDecl_Sort()
Sort
'.
VariableDecl.getSort()
,
getVariableDecl()
org.eclipse.emf.ecore.EReference getVariableDecl_ContainerNamedOperator()
Container Named Operator
'.
VariableDecl.getContainerNamedOperator()
,
getVariableDecl()
org.eclipse.emf.ecore.EClass getVariable()
Variable
'.
Variable
org.eclipse.emf.ecore.EReference getVariable_VariableDecl()
Variable Decl
'.
Variable.getVariableDecl()
,
getVariable()
org.eclipse.emf.ecore.EClass getBuiltInSort()
Built In Sort
'.
BuiltInSort
org.eclipse.emf.ecore.EClass getProductSort()
Product Sort
'.
ProductSort
org.eclipse.emf.ecore.EReference getProductSort_ElementSort()
Element Sort
'.
ProductSort.getElementSort()
,
getProductSort()
org.eclipse.emf.ecore.EClass getBuiltInConstant()
Built In Constant
'.
BuiltInConstant
org.eclipse.emf.ecore.EClass getMultisetOperator()
Multiset Operator
'.
MultisetOperator
org.eclipse.emf.ecore.EClass getTuple()
Tuple
'.
Tuple
org.eclipse.emf.ecore.EClass getSortDecl()
Sort Decl
'.
SortDecl
org.eclipse.emf.ecore.EClass getBuiltInOperator()
Built In Operator
'.
BuiltInOperator
org.eclipse.emf.ecore.EClass getNamedSort()
Named Sort
'.
NamedSort
org.eclipse.emf.ecore.EReference getNamedSort_Sortdef()
Sortdef
'.
NamedSort.getSortdef()
,
getNamedSort()
org.eclipse.emf.ecore.EClass getUserSort()
User Sort
'.
UserSort
org.eclipse.emf.ecore.EReference getUserSort_Declaration()
Declaration
'.
UserSort.getDeclaration()
,
getUserSort()
org.eclipse.emf.ecore.EClass getOperatorDecl()
Operator Decl
'.
OperatorDecl
org.eclipse.emf.ecore.EClass getNamedOperator()
Named Operator
'.
NamedOperator
org.eclipse.emf.ecore.EReference getNamedOperator_Def()
Def
'.
NamedOperator.getDef()
,
getNamedOperator()
org.eclipse.emf.ecore.EReference getNamedOperator_Parameters()
Parameters
'.
NamedOperator.getParameters()
,
getNamedOperator()
org.eclipse.emf.ecore.EClass getUserOperator()
User Operator
'.
UserOperator
org.eclipse.emf.ecore.EReference getUserOperator_Declaration()
Declaration
'.
UserOperator.getDeclaration()
,
getUserOperator()
TermsFactory getTermsFactory()
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.