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

Implementation of PrettyPrinter class. More...

Inheritance diagram for CVC3::PrettyPrinterCore:

[legend]

Collaboration diagram for CVC3::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 47 of file theory_core.cpp.

---

Constructor & Destructor Documentation

CVC3::PrettyPrinterCore::PrettyPrinterCore

(

)

[inline, private]

Disable the default constructor.

Definition at line 51 of file theory_core.cpp.

CVC3::PrettyPrinterCore::PrettyPrinterCore

(

TheoryCore *

core

)

[inline]

Constructor.

Definition at line 54 of file theory_core.cpp.

---

Member Function Documentation

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

The pretty-printer which subclasses must implement.

Implements CVC3::PrettyPrinter.

Definition at line 55 of file theory_core.cpp.

References d_core, CVC3::Expr::getKind(), CVC3::Theory::hasTheory(), CVC3::Expr::isApply(), CVC3::Expr::isString(), CVC3::Theory::print(), CVC3::Expr::print(), and CVC3::Theory::theoryOf().

---

Member Data Documentation

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

Definition at line 49 of file theory_core.cpp.

Referenced by print().

---

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

• theory_core.cpp