Class | Description |
---|---|
BuiltInConstantImpl |
An implementation of the model object 'Built In Constant'
|
BuiltInOperatorImpl |
An implementation of the model object 'Built In Operator'
|
BuiltInSortImpl |
An implementation of the model object 'Built In Sort'
|
DeclarationsImpl |
An implementation of the model object 'Declarations'
|
MultisetOperatorImpl |
An implementation of the model object 'Multiset Operator'
|
MultisetSortImpl |
An implementation of the model object 'Multiset Sort'
|
NamedOperatorImpl |
An implementation of the model object 'Named Operator'
|
NamedSortImpl |
An implementation of the model object 'Named Sort'
|
OperatorDeclImpl |
An implementation of the model object 'Operator Decl'
|
OperatorImpl |
An implementation of the model object 'Operator'
|
ProductSortImpl |
An implementation of the model object 'Product Sort'
|
SortDeclImpl |
An implementation of the model object 'Sort Decl'
|
SortImpl |
An implementation of the model object 'Sort'
|
TermImpl |
An implementation of the model object 'Term'
|
TermsDeclarationImpl |
An implementation of the model object 'Declaration'
|
TermsFactoryImpl |
An implementation of the model Factory
|
TermsPackageImpl |
An implementation of the model Package
|
TupleImpl |
An implementation of the model object 'Tuple'
|
UserOperatorImpl |
An implementation of the model object 'User Operator'
|
UserSortImpl |
An implementation of the model object 'User Sort'
|
VariableDeclImpl |
An implementation of the model object 'Variable Decl'
|
VariableImpl |
An implementation of the model object 'Variable'
|
Copyright © 2009–2016 Univ. Paris Ouest, and Univ. Pierre et Marie Curie / CNRS UMR 7606 (LIP6). All rights reserved.