CVC3
Public Member Functions | List of all members
CVC3::PrettyPrinter Class Referenceabstract

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

#include <pretty_printer.h>

Inherited by CVC3::PrettyPrinterCore.

Collaboration diagram for CVC3::PrettyPrinter:
Collaboration graph

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: