Package | Description |
---|---|
gov.nasa.jpf.util.automaton |
Modifier and Type | Field and Description |
---|---|
protected Transition[] |
State.transitions |
Modifier and Type | Method and Description |
---|---|
Transition |
State.getTransition(int idx) |
Modifier and Type | Method and Description |
---|---|
void |
State.addTransition(Transition newTransition) |
void |
State.addTransitions(Transition... newTransitions) |