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

• PrettyPrinter ()

  Default constructor.
  

• virtual ~PrettyPrinter ()

  Virtual destructor.
  

• virtual ExprStream & print (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

(

)

[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:

• pretty_printer.h