CVC3
2.4.1
|
Abstract API to a pretty-printer for Expr. More...
#include <pretty_printer.h>
Public Member Functions | |
PrettyPrinter () | |
Default constructor. | |
virtual | ~PrettyPrinter () |
Virtual destructor. | |
virtual ExprStream & | print (ExprStream &os, const Expr &e)=0 |
The pretty-printer which subclasses must implement. |
Abstract API to a pretty-printer for Expr.
Definition at line 33 of file pretty_printer.h.
|
inline |
Default constructor.
Definition at line 36 of file pretty_printer.h.
|
inlinevirtual |
Virtual destructor.
Definition at line 38 of file pretty_printer.h.
|
pure virtual |
The pretty-printer which subclasses must implement.
Implemented in CVC3::PrettyPrinterCore.
Referenced by CVC3::operator<<().