Generated on Sat Aug 25 2012 15:53:10 for Gecode by doxygen 1.7.5
Gecode::FlatZinc::FZPrintingInspector Class Reference

An inspector for printing simple text output. More...

List of all members.

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.

Detailed Description

An inspector for printing simple text output.


Constructor & Destructor Documentation

Gecode::FlatZinc::FZPrintingInspector::FZPrintingInspector ( const Printer p0)

Constructor.

Definition at line 639 of file flatzinc.cpp.


Member Function Documentation

void Gecode::FlatZinc::FZPrintingInspector::inspect ( const Space node) [virtual]

Use the print method of the template class S to print a space.

Implements Gecode::Gist::Inspector.

Definition at line 644 of file flatzinc.cpp.

void Gecode::FlatZinc::FZPrintingInspector::finalize ( void  ) [virtual]

Finalize when Gist exits.

Reimplemented from Gecode::Gist::Inspector.

Definition at line 652 of file flatzinc.cpp.


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