Package | Description |
---|---|
net.sourceforge.czt.print.z |
Provides classes for printing standard Z specifications in Unicode or
in the LaTeX mark-up language.
|
Modifier and Type | Method and Description |
---|---|
protected CztScanner |
AbstractLatexPrinterCommand.prepare(ZmlScanner scanner,
net.sourceforge.czt.base.ast.Term term) |
Constructor and Description |
---|
SymbolCollector(Dialect d,
Class<?> clazz,
ZmlScanner scanner) |
Copyright © 2003–2016 Community Z Tools Project. All rights reserved.