Interface | Description |
---|---|
EfsmVisitor |
The interface for EFSM visitors.
|
Class | Description |
---|---|
Action |
Sequence of
Assignment statements. |
Efsm |
Extended finite state machine.
|
EfsmDfsWalker |
The EFSM walker.
|
EfsmEmptyVisitor |
An empty visitor for EfsmModel.
|
EfsmModel |
The ordered container for EFSM modules.
|
EfsmModule |
The EFSM representation of an HDL module.
|
EfsmModuleState |
A state of an extended finite state machine module.
|
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.
|
Guard |
Boolean condition that consists of some predicates.
|
GuardedAction |
Clocked guarded action.
|
Enum | Description |
---|---|
Efsm.TransitionWeightBasis |
Transition weight types.
|