An inspector for printing simple text output. More...
Public Member Functions | |
FZPrintingInspector (const Printer &p0) | |
Constructor. | |
virtual void | inspect (const Space &node) |
Use the print method of the template class S to print a space. | |
virtual void | finalize (void) |
Finalize when Gist exits. | |
Public Member Functions inherited from Gecode::Gist::TextOutput | |
TextOutput (const std::string &name) | |
Constructor. | |
void | finalize (void) |
Clean up when Gist exits. | |
virtual | ~TextOutput (void) |
Destructor. | |
virtual std::string | name (void) |
Name of the inspector. | |
Public Member Functions inherited from Gecode::Gist::Inspector | |
virtual std::string | name (void) |
Name of the inspector. | |
virtual | ~Inspector (void) |
Destructor. |
Additional Inherited Members | |
Protected Member Functions inherited from Gecode::Gist::TextOutput | |
void | init (void) |
Initialize the implementation object. | |
std::ostream & | getStream (void) |
Get the stream that is used to output text. | |
void | flush (void) |
Flush stream. | |
void | addHtml (const char *s) |
Add html text s to the output. |
An inspector for printing simple text output.
Definition at line 1667 of file flatzinc.cpp.
Gecode::FlatZinc::FZPrintingInspector< S >::FZPrintingInspector | ( | const Printer & | p0 | ) |
Constructor.
Definition at line 1681 of file flatzinc.cpp.
|
virtual |
Use the print method of the template class S to print a space.
Implements Gecode::Gist::Inspector.
Definition at line 1686 of file flatzinc.cpp.
|
virtual |
Finalize when Gist exits.
Reimplemented from Gecode::Gist::Inspector.
Definition at line 1694 of file flatzinc.cpp.