Collaboration diagram for Pretty-printing related classes and methods:
|
Modules | |
| Overloaded operator<< | |
| Manipulators | |
Classes | |
| class | CVC3::ExprStream |
| Pretty-printing output stream for Expr. READ THE DOCS BEFORE USING! More... | |
| class | CVC3::PrettyPrinter |
| Abstract API to a pretty-printer for Expr. More... | |
| class | CVC3::PrettyPrinterCore |
| Implementation of PrettyPrinter class. More... | |
Detailed Description
If you are writing a theory-specific pretty-printer, please read carefully all the documentation about class ExprStream and its manipulators.
