CVC3::PrettyPrinter Class Reference
[Pretty-printing related classes and methods]

Abstract API to a pretty-printer for Expr. More...

#include <pretty_printer.h>

Inheritance diagram for CVC3::PrettyPrinter:

Inheritance graph
[legend]
List of all members.

Public Member Functions


Detailed Description

Abstract API to a pretty-printer for Expr.

Definition at line 33 of file pretty_printer.h.


Constructor & Destructor Documentation

CVC3::PrettyPrinter::PrettyPrinter (  )  [inline]

Default constructor.

Definition at line 36 of file pretty_printer.h.

virtual CVC3::PrettyPrinter::~PrettyPrinter (  )  [inline, virtual]

Virtual destructor.

Definition at line 38 of file pretty_printer.h.


Member Function Documentation

virtual ExprStream& CVC3::PrettyPrinter::print ( ExprStream os,
const Expr e 
) [pure virtual]

The pretty-printer which subclasses must implement.

Implemented in CVC3::PrettyPrinterCore.

Referenced by CVC3::operator<<().


The documentation for this class was generated from the following file:
Generated on Wed Nov 18 16:15:34 2009 for CVC3 by  doxygen 1.5.2