Package net.sourceforge.czt.base.impl

Abstract base classes for the AST for Z.

See: Description

Class Summary

Class	Description
BaseFactory	The base class of AST factories.
ListTermImpl<E>	A list implementation that integrates nicely into the AST.
TermImpl	An abstract implementation of the interface Term.

Package net.sourceforge.czt.base.impl Description

Abstract base classes for the AST for Z.

This package provides implementations of the interfaces in net.sourceforge.czt.base.ast. As an application programmer, you should NOT use the classes provided in this package explicitly. Use the interfaces in net.sourceforge.czt.base.ast instead.