Package | Description |
---|---|
fr.inria.tea.ssme | |
fr.inria.tea.ssme.impl | |
fr.inria.tea.ssme.util |
Modifier and Type | Method and Description |
---|---|
And |
SsmeFactory.createAnd()
Returns a new object of class 'And'
|
Modifier and Type | Class and Description |
---|---|
class |
AndImpl
An implementation of the model object 'And'
|
Modifier and Type | Method and Description |
---|---|
And |
SsmeFactoryImpl.createAnd() |
Modifier and Type | Method and Description |
---|---|
T |
SsmeSwitch.caseAnd(And object)
Returns the result of interpreting the object as an instance of 'And'
|