public class AutomatonDeterminizationHelp extends Object
Modifier and Type | Field and Description |
---|---|
protected int |
firstSet |
protected int[] |
hash |
protected IntSequence |
heap |
protected IntSequence |
set |
protected IntSequence |
sets |
protected IntSequence |
states |
Modifier | Constructor and Description |
---|---|
protected |
AutomatonDeterminizationHelp() |
Modifier and Type | Method and Description |
---|---|
protected void |
addTransitions(int s,
Automaton a) |
protected int |
getHashCode() |
protected int |
getHashCode(int[] seq,
int pos) |
protected int |
getNextTransition(Automaton a) |
protected void |
heapPush(int tr,
Automaton a) |
protected void |
heapSink(Automaton a) |
int |
pop() |
protected int |
push() |
protected boolean |
queueIsEmpty() |
protected int[] hash
protected IntSequence states
protected IntSequence sets
protected IntSequence set
protected IntSequence heap
protected int firstSet
protected boolean queueIsEmpty()
public int pop()
protected int push()
protected int getHashCode()
protected int getHashCode(int[] seq, int pos)
protected void addTransitions(int s, Automaton a)
protected void heapPush(int tr, Automaton a)
protected int getNextTransition(Automaton a)
protected void heapSink(Automaton a)