public static final class Automaton.Wrapper_State
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Automaton.Wrapper_State |
next |
Automaton.State |
state |
Constructor and Description |
---|
Wrapper_State(Automaton.State state) |
public final Automaton.State state
public Automaton.Wrapper_State next
public Wrapper_State(Automaton.State state)