public class Transition
extends java.lang.Object
| Constructor and Description |
|---|
Transition(State source,
State target,
int eventID) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
int |
eventID() |
int |
hashCode() |
State |
source() |
State |
target() |