CVC3
2.4.1
|
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... |
If you are writing a theory-specific pretty-printer, please read carefully all the documentation about class ExprStream and its manipulators.