Uses of Class
net.sourceforge.czt.print.ast.PrintPredicate

Packages that use PrintPredicate

Package	Description
net.sourceforge.czt.print.ast
net.sourceforge.czt.print.z	Provides classes for printing standard Z specifications in Unicode or in the LaTeX mark-up language.

Uses of PrintPredicate in net.sourceforge.czt.print.ast

Methods in net.sourceforge.czt.print.ast that return PrintPredicate

Modifier and Type	Method and Description
PrintPredicate	PrintPredicate.create(Object[] children)
PrintPredicate	PrintFactory.createPrintPredicate(List<?> something, Precedence prec, Assoc assoc)

Methods in net.sourceforge.czt.print.ast with parameters of type PrintPredicate

Modifier and Type	Method and Description
R	PrintPredicateVisitor.visitPrintPredicate(PrintPredicate printPredicate)

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

Methods in net.sourceforge.czt.print.z with parameters of type PrintPredicate

Modifier and Type	Method and Description
Object	ZPrintVisitor.visitPrintPredicate(PrintPredicate printPredicate)
Precedence	PrecedenceVisitor.visitPrintPredicate(PrintPredicate term)