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

Packages that use PrintPredicate

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

PrintPredicate	PrintPredicate.create(java.lang.Object[] children)
PrintPredicate	PrintFactory.createPrintPredicate(java.util.List something, Precedence prec, net.sourceforge.czt.z.ast.Assoc assoc)

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

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

java.lang.Object	ZPrintVisitor.visitPrintPredicate(PrintPredicate printPredicate)
Precedence	PrecedenceVisitor.visitPrintPredicate(PrintPredicate term)