Uses of Class
net.sourceforge.czt.print.util.PrettyPrinter

Packages that use PrettyPrinter

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

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

Methods in net.sourceforge.czt.print.z that return PrettyPrinter

Modifier and Type	Method and Description
protected PrettyPrinter	AbstractPrinterCommand.createPrettyPrinter(net.sourceforge.czt.base.ast.Term term, int textWidth)