Uses of Interface
net.sourceforge.czt.base.visitor.TermVisitor

Packages that use TermVisitor

Package	Description
net.sourceforge.czt.base.util	Utilities for the AST for Z: interfaces for a validator, an XML reader, and an XML writer.

Uses of TermVisitor in net.sourceforge.czt.base.util

Classes in net.sourceforge.czt.base.util that implement TermVisitor

Modifier and Type	Class and Description
class	BasePrintVisitor A printer for terms.
class	TermToString Converter from Term to String.