An inspector for printing simple text output. More...
#include <gist.hh>
Public Member Functions | |
Print (const std::string &name) | |
Constructor. | |
virtual void | inspect (const Space &node) |
Use the print method of the template class S to print a space. | |
virtual std::string | name (void) |
Return name. | |
virtual void | finalize (void) |
Clean up when Gist exits. |
An inspector for printing simple text output.
Gecode::Gist::Print::Print | ( | const std::string & | name | ) |
void Gecode::Gist::Print::inspect | ( | const Space & | node | ) | [virtual] |
Use the print method of the template class S to print a space.
Implements Gecode::Gist::Inspector.
std::string Gecode::Gist::Print::name | ( | void | ) | [virtual] |
void Gecode::Gist::Print::finalize | ( | void | ) | [virtual] |
Clean up when Gist exits.
Reimplemented from Gecode::Gist::Inspector.