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:

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

• pretty_printer.h

---