|
GATE Version 3.1-2270 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Transition | |
---|---|
gate.fsm |
Uses of Transition in gate.fsm |
---|
Methods in gate.fsm that return Transition | |
---|---|
Transition |
Transition.spawn(State s)
Creates a new transition to the given State with the same bindings as this one. |
Methods in gate.fsm with parameters of type Transition | |
---|---|
void |
State.addTransition(Transition transition)
Adds a new transition to the list of outgoing transitions for this state. |
|
GATE Version 3.1-2270 |
|||||||||
PREV NEXT | FRAMES NO FRAMES |