Package wyautl_old.lang

Provides core classes for representing and manipulating automata.

See: Description

Class Summary

Class	Description
Automata	This class provides various algorithms for manipulating automata.
Automaton	A finite-state automaton for representing Whiley types.
Automaton.State	Represents a state in an automaton.

Package wyautl_old.lang Description

Provides core classes for representing and manipulating automata.