Uses of Interface
net.sourceforge.czt.print.ast.PrintPredicateVisitor

Packages that use PrintPredicateVisitor

net.sourceforge.czt.print.z

Provides classes for printing standard Z specifications in Unicode or in the LaTeX mark-up language.

Uses of PrintPredicateVisitor in net.sourceforge.czt.print.z

Classes in net.sourceforge.czt.print.z that implement PrintPredicateVisitor

class	PrecedenceVisitor Throws NullPointerException if no operator table is given but a term that needs a lookup in the operator table.
class	ZPrintVisitor A Z visitor used for printing.