Public Member Functions

CVC3::PrettyPrinter Class Reference

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

#include <pretty_printer.h>

Inherited by CVC3::PrettyPrinterCore.

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: