CVCL::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 CVCL::PrettyPrinter:

Inheritance graph
List of all members.

Public Member Functions

Detailed Description

Abstract API to a pretty-printer for Expr.

Definition at line 41 of file pretty_printer.h.

Constructor & Destructor Documentation

CVCL::PrettyPrinter::PrettyPrinter  )  [inline]

Default constructor.

Definition at line 44 of file pretty_printer.h.

virtual CVCL::PrettyPrinter::~PrettyPrinter  )  [inline, virtual]

Virtual destructor.

Definition at line 46 of file pretty_printer.h.

Member Function Documentation

virtual ExprStream& CVCL::PrettyPrinter::print ExprStream os,
const Expr e
[pure virtual]

The pretty-printer which subclasses must implement.

Implemented in CVCL::PrettyPrinterCore.

Referenced by CVCL::operator<<().

The documentation for this class was generated from the following file:
Generated on Thu Apr 13 16:57:43 2006 for CVC Lite by  doxygen 1.4.4