Implementation of PrettyPrinter class. More...
Inherits CVC3::PrettyPrinter.
Collaboration diagram for CVC3::PrettyPrinterCore:
Public Member Functions | |
| PrettyPrinterCore (TheoryCore *core) | |
| Constructor. | |
| ExprStream & | print (ExprStream &os, const Expr &e) |
| The pretty-printer which subclasses must implement. | |
 Public Member Functions inherited from CVC3::PrettyPrinter | |
| PrettyPrinter () | |
| Default constructor. | |
| virtual | ~PrettyPrinter () |
| Virtual destructor. | |
Private Member Functions | |
| PrettyPrinterCore () | |
| Disable the default constructor. | |
Private Attributes | |
| TheoryCore * | d_core |
Detailed Description
Implementation of PrettyPrinter class.
Definition at line 48 of file theory_core.cpp.
Constructor & Destructor Documentation
|
inlineprivate |
Disable the default constructor.
Definition at line 52 of file theory_core.cpp.
|
inline |
Constructor.
Definition at line 55 of file theory_core.cpp.
Member Function Documentation
|
inlinevirtual |
The pretty-printer which subclasses must implement.
Implements CVC3::PrettyPrinter.
Definition at line 56 of file theory_core.cpp.
References CVC3::Expr::getKind(), CVC3::Expr::isApply(), CVC3::Expr::isString(), and CVC3::Expr::print().
Member Data Documentation
|
private |
Definition at line 50 of file theory_core.cpp.
The documentation for this class was generated from the following file:
