|
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 | |||||||||