- ACTION - Static variable in enum fr.inria.tea.ssme.ModelKind
-
The 'Action' literal value
- ADD - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Add' literal value
- After - Interface in fr.inria.tea.ssme
-
A representation of the model object 'After'
- AFTER - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'After' literal value
- AFTER - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The meta object id for the '
After
' class
- AFTER__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- AFTER__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- AFTER__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- AFTER__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- AFTER_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'After' class
- AfterImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'After'
- AfterImpl() - Constructor for class fr.inria.tea.ssme.impl.AfterImpl
-
- And - Interface in fr.inria.tea.ssme
-
A representation of the model object 'And'
- AND - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'And' literal value
- AND - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The meta object id for the '
And
' class
- AND__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- AND__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- AND__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- AND__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- AND_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'And' class
- AndImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'And'
- AndImpl() - Constructor for class fr.inria.tea.ssme.impl.AndImpl
-
- ARRAY_ELEM - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_ELEM__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_ELEM__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_ELEM__EXPR_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal' containment reference
- ARRAY_ELEM__LIST_EXPR_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'List Expr Signal' containment reference
- ARRAY_ELEM_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Elem' class
- ARRAY_ELEMENTS_ENUMERATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_ELEMENTS_ENUMERATION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_ELEMENTS_ENUMERATION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_ELEMENTS_ENUMERATION__LIST_PARTIAL_ARRAY_DEFINITION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'List Partial Array Definition' containment reference list
- ARRAY_ELEMENTS_ENUMERATION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Elements Enumeration' class
- ARRAY_INDEX - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_INDEX__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_INDEX__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_INDEX__IDENTIFIER - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Identifier' containment reference
- ARRAY_INDEX__UPPER_BOUND - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Upper Bound' containment reference
- ARRAY_INDEX_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Index' class
- ARRAY_PROCESS - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_PROCESS__ARRAY_INDEX - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Array Index' containment reference
- ARRAY_PROCESS__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_PROCESS__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_PROCESS__EXPR_PROCESS - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Process' containment reference
- ARRAY_PROCESS__ITERATION_INIT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Iteration Init' containment reference
- ARRAY_PROCESS_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Process' class
- ARRAY_PRODUCT - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Array Product' literal value
- ARRAY_PRODUCT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_PRODUCT__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_PRODUCT__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_PRODUCT__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- ARRAY_PRODUCT__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- ARRAY_PRODUCT_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Product' class
- ARRAY_RESTRUCTURATION - Static variable in enum fr.inria.tea.ssme.OperatorKind
-
The 'Array Restructuration' literal value
- ARRAY_RESTRUCTURATION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_RESTRUCTURATION__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_RESTRUCTURATION__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_RESTRUCTURATION__EXPR_SIGNAL1 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal1' containment reference
- ARRAY_RESTRUCTURATION__EXPR_SIGNAL2 - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal2' containment reference
- ARRAY_RESTRUCTURATION_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Restructuration' class
- ARRAY_TYPE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ARRAY_TYPE__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ARRAY_TYPE__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ARRAY_TYPE__EXPR_DIMENSION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Dimension' containment reference
- ARRAY_TYPE__TYPE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Type' containment reference
- ARRAY_TYPE_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Array Type' class
- ArrayElem - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Elem'
- ArrayElementsEnumeration - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Elements Enumeration'
- ArrayElementsEnumerationImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Elements Enumeration'
- ArrayElementsEnumerationImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayElementsEnumerationImpl
-
- ArrayElemImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Elem'
- ArrayElemImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayElemImpl
-
- ArrayIndex - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Index'
- ArrayIndexImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Index'
- ArrayIndexImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayIndexImpl
-
- ArrayProcess - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Process'
- ArrayProcessImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Process'
- ArrayProcessImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayProcessImpl
-
- ArrayProduct - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Product'
- ArrayProductImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Product'
- ArrayProductImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayProductImpl
-
- ArrayRestructuration - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Restructuration'
- ArrayRestructurationImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Restructuration'
- ArrayRestructurationImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayRestructurationImpl
-
- ArrayType - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Array Type'
- ArrayTypeImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Array Type'
- ArrayTypeImpl() - Constructor for class fr.inria.tea.ssme.impl.ArrayTypeImpl
-
- ASSERT_PROCESS - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ASSERT_PROCESS__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ASSERT_PROCESS__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ASSERT_PROCESS__PROCESS_EXPRESSION - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Process Expression' containment reference
- ASSERT_PROCESS_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Assert Process' class
- ASSERT_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
- ASSERT_SIGNAL__COMMENT_POST - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Post' containment reference list
- ASSERT_SIGNAL__COMMENT_PRE - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Comment Pre' containment reference list
- ASSERT_SIGNAL__EXPR_SIGNAL - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The feature id for the 'Expr Signal' containment reference
- ASSERT_SIGNAL_FEATURE_COUNT - Static variable in interface fr.inria.tea.ssme.SsmePackage
-
The number of structural features of the 'Assert Signal' class
- AssertProcess - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Assert Process'
- AssertProcessImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Assert Process'
- AssertProcessImpl() - Constructor for class fr.inria.tea.ssme.impl.AssertProcessImpl
-
- AssertSignal - Interface in fr.inria.tea.ssme
-
A representation of the model object 'Assert Signal'
- AssertSignalImpl - Class in fr.inria.tea.ssme.impl
-
An implementation of the model object 'Assert Signal'
- AssertSignalImpl() - Constructor for class fr.inria.tea.ssme.impl.AssertSignalImpl
-
- AUTOMATON - Static variable in enum fr.inria.tea.ssme.ModelKind
-
The 'Automaton' literal value