Uses of Class
wyautl_old.lang.Automaton.State

Packages that use Automaton.State

Package	Description
wyautl_old.io	Provides classes for reading and writing automata via input/output streams.
wyautl_old.lang	Provides core classes for representing and manipulating automata.
wyil.util.type

Uses of Automaton.State in wyautl_old.io

Methods in wyautl_old.io with parameters of type Automaton.State

Modifier and Type	Method and Description
protected void	BinaryAutomataWriter.write(Automaton.State state)

Uses of Automaton.State in wyautl_old.lang

Fields in wyautl_old.lang declared as Automaton.State

Modifier and Type	Field and Description
Automaton.State[]	Automaton.states

Methods in wyautl_old.lang that return Automaton.State

Modifier and Type	Method and Description
static Automaton.State	Automata.remap(Automaton.State node, int[] rmap) The remap method takes a node, and mapping from vertices in the old space to the those in the new space.

Methods in wyautl_old.lang with parameters of type Automaton.State

Modifier and Type	Method and Description
static Automaton.State	Automata.remap(Automaton.State node, int[] rmap) The remap method takes a node, and mapping from vertices in the old space to the those in the new space.

Method parameters in wyautl_old.lang with type arguments of type Automaton.State

Modifier and Type	Method and Description
static void	Automata.extractOnto(int index, Automaton automaton, ArrayList<Automaton.State> newNodes)

Constructors in wyautl_old.lang with parameters of type Automaton.State

Constructor and Description
Automaton(Automaton.State... states)
State(Automaton.State state)

Constructor parameters in wyautl_old.lang with type arguments of type Automaton.State

Constructor and Description
Automaton(List<Automaton.State> states)

Uses of Automaton.State in wyil.util.type

Fields in wyil.util.type with type parameters of type Automaton.State

Modifier and Type	Field and Description
static Comparator<Automaton.State>	TypeAlgorithms.DATA_COMPARATOR The data comparator is used in the type canonicalisation process.

Methods in wyil.util.type with parameters of type Automaton.State

Modifier and Type	Method and Description
void	BinaryTypeWriter.write(Automaton.State state)