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

Packages that use OperatorApplicationVisitor

net.sourceforge.czt.print.z

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

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

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

class	PrecedenceParenAnnVisitor This visitor visits an printable AST and adds necessary parentheses.
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.