CVCL::PrettyPrinterCore Class Reference
[Pretty-printing related classes and methods]

Implementation of PrettyPrinter class. More...

Inheritance diagram for CVCL::PrettyPrinterCore:

[legend]Collaboration diagram for CVCL::PrettyPrinterCore:

[legend]List of all members.

Public Member Functions

• PrettyPrinterCore (TheoryCore *core)

  Constructor.
  

• ExprStream & print (ExprStream &os, const Expr &e)

  The pretty-printer which subclasses must implement.
  

Private Member Functions

• PrettyPrinterCore ()

  Disable the default constructor.
  

Private Attributes

• TheoryCore * d_core

---

Detailed Description

Implementation of PrettyPrinter class.

Definition at line 53 of file theory_core.cpp.

---

Constructor & Destructor Documentation

CVCL::PrettyPrinterCore::PrettyPrinterCore (   )  [inline, private]

Disable the default constructor. Definition at line 57 of file theory_core.cpp.

CVCL::PrettyPrinterCore::PrettyPrinterCore (  TheoryCore *  core  )  [inline]

Constructor. Definition at line 60 of file theory_core.cpp.

---

Member Function Documentation

ExprStream& CVCL::PrettyPrinterCore::print (  ExprStream &  os, const Expr &  e )  [inline, virtual]

The pretty-printer which subclasses must implement. Implements CVCL::PrettyPrinter. Definition at line 61 of file theory_core.cpp. References d_core, CVCL::Expr::getKind(), CVCL::Theory::hasTheory(), CVCL::Expr::isApply(), CVCL::Expr::isString(), CVCL::Theory::print(), CVCL::Expr::print(), and CVCL::Theory::theoryOf().

---

Member Data Documentation

TheoryCore* CVCL::PrettyPrinterCore::d_core [private]

Definition at line 55 of file theory_core.cpp. Referenced by print().

---

The documentation for this class was generated from the following file:

• theory_core.cpp

---