private static final class Operations.TransitionList
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) int |
next |
(package private) int[] |
transitions |
Modifier | Constructor and Description |
---|---|
private |
TransitionList() |
Modifier and Type | Method and Description |
---|---|
void |
add(Transition t) |
public void add(Transition t)