CVC3
2.4.1
|
Implementation of PrettyPrinter class. More...
Public Member Functions | |
PrettyPrinterCore (TheoryCore *core) | |
Constructor. More... | |
ExprStream & | print (ExprStream &os, const Expr &e) |
The pretty-printer which subclasses must implement. More... | |
![]() | |
PrettyPrinter () | |
Default constructor. More... | |
virtual | ~PrettyPrinter () |
Virtual destructor. More... | |
Private Member Functions | |
PrettyPrinterCore () | |
Disable the default constructor. More... | |
Private Attributes | |
TheoryCore * | d_core |
Implementation of PrettyPrinter class.
Definition at line 48 of file theory_core.cpp.
|
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.
|
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::Theory::hasTheory(), CVC3::Expr::isApply(), CVC3::Expr::isString(), CVC3::Theory::print(), CVC3::Expr::print(), and CVC3::Theory::theoryOf().
|
private |
Definition at line 50 of file theory_core.cpp.