private static class FiniteStringsIterator.PathNode
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
label
Which label we are on, in the min-max range of the
current Transition
|
int |
state
Which state the path node ends on, whose
transitions we are enumerating.
|
private Transition |
t |
int |
to
Which state the current transition leads to.
|
int |
transition
Which transition we are on.
|
Modifier | Constructor and Description |
---|---|
private |
PathNode() |
Modifier and Type | Method and Description |
---|---|
int |
nextLabel(Automaton a)
Returns next label of current transition, or
advances to next transition and returns its first
label, if current one is exhausted.
|
void |
resetState(Automaton a,
int state) |
public int state
public int to
public int transition
public int label
private final Transition t