package-info.java

// Copyright (c) 2011, David J. Pearce (djp@ecs.vuw.ac.nz)
// All rights reserved.
//
// This software may be modified and distributed under the terms
// of the BSD license.  See the LICENSE file for details.

/**
 * <b>The Whiley Automata Library</b>.  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
 */
package wyautl_old;