public static class TransitionTable.Entry
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Vector |
alphabets |
Transition |
transition |
Constructor and Description |
---|
Entry(Transition tr,
Alphabet a) |
Modifier and Type | Method and Description |
---|---|
void |
addAlphabet(Alphabet a) |
public Transition transition
public java.util.Vector alphabets
public Entry(Transition tr, Alphabet a)
public void addAlphabet(Alphabet a)