CVC3  2.4.1
Public Member Functions
CVC3::PrettyPrinter Class Reference

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

#include <pretty_printer.h>

Inheritance diagram for CVC3::PrettyPrinter:
CVC3::PrettyPrinterCore

List of all members.

Public Member Functions

 PrettyPrinter ()
 Default constructor.
virtual ~PrettyPrinter ()
 Virtual destructor.
virtual ExprStreamprint (ExprStream &os, const Expr &e)=0
 The pretty-printer which subclasses must implement.

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 ( )
inlinevirtual

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: