Uses of Class
wyautl_old.lang.Automaton

Packages that use Automaton

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
wyil.util.type

Uses of Automaton in wyautl_old.io

Methods in wyautl_old.io with parameters of type Automaton

Modifier and Type	Method and Description
void	BinaryAutomataWriter.write(Automaton automaton)

Uses of Automaton in wyautl_old.lang

Methods in wyautl_old.lang that return Automaton

Modifier and Type	Method and Description
static Automaton	Automata.extract(Automaton automaton, int root) Traverse the automaton rooted at the given state and recursively extract all reachable states to produce a (potentially smaller) automaton.
static Automaton	Automata.minimise(Automaton automaton) This method minimises an automaton by removing equivalent states.

Methods in wyautl_old.lang with parameters of type Automaton

Modifier and Type	Method and Description
static Automaton	Automata.extract(Automaton automaton, int root) Traverse the automaton rooted at the given state and recursively extract all reachable states to produce a (potentially smaller) automaton.
static void	Automata.extractOnto(int index, Automaton automaton, ArrayList<Automaton.State> newNodes)
static boolean	Automata.isConcrete(Automaton automaton) Check whether or not an automaton is "concrete".
static Automaton	Automata.minimise(Automaton automaton) This method minimises an automaton by removing equivalent states.

Constructors in wyautl_old.lang with parameters of type Automaton

Constructor and Description
Automaton(Automaton automaton)

Uses of Automaton in wyil.util

Methods in wyil.util that return Automaton

Modifier and Type	Method and Description
Automaton	TypeSystem.toAutomaton(Type type) Expand a given type by inlining all visible nominal information.

Uses of Automaton in wyil.util.type

Fields in wyil.util.type declared as Automaton

Modifier and Type	Field and Description
protected Automaton	SubtypeOperator.from
protected Automaton	SubtypeOperator.to

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

Modifier and Type	Method and Description
static boolean	TypeAlgorithms.isContractive(Automaton automaton) Contractive types are types which cannot accept value because they have an unterminated cycle.
static void	TypeAlgorithms.simplify(Automaton automaton) Analyse an automaton and try to produce a version that is simpler but still equivalent.

Constructors in wyil.util.type with parameters of type Automaton

Constructor and Description
ExplicitCoercionOperator(Automaton fromAutomata, Automaton toAutomata, LifetimeRelation lr)
SubtypeOperator(Automaton from, Automaton to, LifetimeRelation lr)