Package wyautl_old Description
The Whiley Automata Library. This library is used for
representing and manipulating finite tree automata. These automata
are used as the underlying representation of types in Whiley, and
there are a number of relatively complex algorithms required to
manipulate them. For example, for representing Provides classes for
reading and writing automata via input/output streams.
- Author:
- David J. Pearce