public class TransitionTable
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
TransitionTable.Entry |
Constructor and Description |
---|
TransitionTable() |
Modifier and Type | Method and Description |
---|---|
void |
add(State s,
Alphabet alphabet,
Transition action) |
void |
addEverythingElse(State s,
Transition action) |
Transition |
getEverythingElse(State s)
Gets the transition associated to EVERYTHING_ELSE alphabet
in the given state if any.
|
TransitionTable.Entry[] |
list(State s)
Lists all entries of the transition table with
the specified state in terms of TrnasitionTable.Entry.
|
public void add(State s, Alphabet alphabet, Transition action)
public void addEverythingElse(State s, Transition action)
public Transition getEverythingElse(State s)
public TransitionTable.Entry[] list(State s)