Package | Description |
---|---|
gate.fsm |
Modifier and Type | Field and Description |
---|---|
protected Transition |
FSM.currentTransition |
Modifier and Type | Method and Description |
---|---|
Transition |
Transition.spawn(State s)
Creates a new transition to the given State with the same
bindings as this one.
|
Modifier and Type | Method and Description |
---|---|
Map<State,SimpleArraySet<Transition>> |
FSM.getAllStates() |
SimpleArraySet<Transition> |
State.getTransitions()
Gets the set of transitions for this state.
|
Modifier and Type | Method and Description |
---|---|
void |
State.addTransition(Transition transition)
Adds a new transition to the list of outgoing transitions for this state.
|
int |
Transition.compareTo(Transition t) |