Interface | Description |
---|---|
EfsmModelVisitor |
The interface for EFSM model visitors.
|
EfsmVisitor |
The interface for EFSM visitors.
|
Class | Description |
---|---|
Action |
Sequence of
Assignment statements. |
Efsm |
The representation of an extended finite state machine.
|
EfsmModel |
Entity representation of EFSM collection.
|
EfsmModelWalker |
The walker for the
EfsmModel class. |
EfsmState |
A state of an extended finite state machine.
|
EfsmTransition |
The guarded action-based representation of a transition of an extended finite state machine.
|
EfsmUtils |
Utility methods for extended finite state machine model and it's components.
|
EfsmWalker |
The EFSM walker.
|
Guard |
Boolean condition that consists of some predicates.
|
GuardedAction |
Clocked guarded action.
|
Enum | Description |
---|---|
Efsm.TransitionWeightBasis |