Interface | Description |
---|---|
BuiltInConstant |
A representation of the model object 'Built In Constant'
|
BuiltInOperator |
A representation of the model object 'Built In Operator'
|
BuiltInSort |
A representation of the model object 'Built In Sort'
|
Declarations |
A representation of the model object 'Declarations'
|
MultisetOperator |
A representation of the model object 'Multiset Operator'
|
MultisetSort |
A representation of the model object 'Multiset Sort'
|
NamedOperator |
A representation of the model object 'Named Operator'
|
NamedSort |
A representation of the model object 'Named Sort'
|
Operator |
A representation of the model object 'Operator'
|
OperatorDecl |
A representation of the model object 'Operator Decl'
|
ProductSort |
A representation of the model object 'Product Sort'
|
Sort |
A representation of the model object 'Sort'
|
SortDecl |
A representation of the model object 'Sort Decl'
|
Term |
A representation of the model object 'Term'
|
TermsDeclaration |
A representation of the model object 'Declaration'
|
TermsFactory |
The Factory for the model.
|
TermsPackage |
The Package for the model.
|
TermsPackage.Literals |
Defines literals for the meta objects that represent
each class,
each feature of each class,
each enum,
and each data type
|
Tuple |
A representation of the model object 'Tuple'
|
UserOperator |
A representation of the model object 'User Operator'
|
UserSort |
A representation of the model object 'User Sort'
|
Variable |
A representation of the model object 'Variable'
|
VariableDecl |
A representation of the model object 'Variable Decl'
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.