Gecode::FlatZinc::FlatZincGetInfo Class Reference
Public Member Functions | |
FlatZincGetInfo (const Printer &printer) | |
virtual std::string | getInfo (const Space &space) const |
Return info for a space. | |
~FlatZincGetInfo (void) | |
Public Attributes | |
const Printer & | p |
Detailed Description
Definition at line 1743 of file flatzinc.cpp.
Constructor & Destructor Documentation
Gecode::FlatZinc::FlatZincGetInfo::FlatZincGetInfo | ( | const Printer & | printer | ) | [inline] |
Definition at line 1746 of file flatzinc.cpp.
Gecode::FlatZinc::FlatZincGetInfo::~FlatZincGetInfo | ( | void | ) | [inline] |
Definition at line 1757 of file flatzinc.cpp.
Member Function Documentation
virtual std::string Gecode::FlatZinc::FlatZincGetInfo::getInfo | ( | const Space & | home | ) | const [inline, virtual] |
Return info for a space.
Implements Gecode::CPProfilerSearchTracer::GetInfo.
Definition at line 1748 of file flatzinc.cpp.
Member Data Documentation
Definition at line 1745 of file flatzinc.cpp.
The documentation for this class was generated from the following file:
- gecode/flatzinc/flatzinc.cpp