Skip navigation links
A B C D E F G I L M N O P R S T U V W X 

A

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
The meta object id for the 'Array Elem' class
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
The meta object id for the 'Array Elements Enumeration' class
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
The meta object id for the 'Array Index' class
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
The meta object id for the 'Array Process' class
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
The meta object id for the 'Array Product' class
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
The meta object id for the 'Array Restructuration' class
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
The meta object id for the 'Array Type' class
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
The meta object id for the 'Assert Process' class
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
The meta object id for the 'Assert Signal' class
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
A B C D E F G I L M N O P R S T U V W X 
Skip navigation links