public class TripleTransitions extends Object
Modifier and Type | Field and Description |
---|---|
protected StatePDA[] |
finalities |
protected int |
finalitiesStored |
protected ClosedHashOfLabels |
labels |
protected int[] |
stateFinalities |
protected WholeSet |
states |
protected int |
transitionsAlloced |
protected int[] |
transitionsFrom |
protected int[] |
transitionsLabel |
protected int |
transitionsStored |
protected int[] |
transitionsTo |
Constructor and Description |
---|
TripleTransitions() |
Modifier and Type | Method and Description |
---|---|
void |
add(int from,
TransitionPDA transition,
int to) |
void |
addAll(Automaton aut,
AutomatonBuildHelp help) |
StatePDA[] |
getFinalitites() |
void |
makeStateNonfinal(int state) |
void |
setStateFinality(StatePDA finalState) |
void |
setTheInitialState(Automaton aut,
int state) |
protected WholeSet states
protected ClosedHashOfLabels labels
protected StatePDA[] finalities
protected int finalitiesStored
protected int[] stateFinalities
protected int[] transitionsFrom
protected int[] transitionsLabel
protected int[] transitionsTo
protected int transitionsStored
protected int transitionsAlloced
public void add(int from, TransitionPDA transition, int to)
public void addAll(Automaton aut, AutomatonBuildHelp help)
public void setTheInitialState(Automaton aut, int state)
public void setStateFinality(StatePDA finalState)
public void makeStateNonfinal(int state)
public StatePDA[] getFinalitites()