- Gecode
- FlatZinc
- FlatZincGetInfo

Public Member Functions | |
| FlatZincGetInfo (const Printer &printer) | |
| virtual std::string | getInfo (const Space &space) const |
| Return info for a space. More... | |
| ~FlatZincGetInfo (void) | |
Public Member Functions inherited from Gecode::CPProfilerSearchTracer::GetInfo | |
| GetInfo (void) | |
| Initialize. More... | |
| virtual | ~GetInfo (void) |
| Delete. More... | |
Public Attributes | |
| const Printer & | p |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::HeapAllocated | |
| static void * | operator new (size_t s) |
| Memory management. More... | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. More... | |
Definition at line 1743 of file flatzinc.cpp.
|
inline |
Definition at line 1746 of file flatzinc.cpp.
|
inline |
Definition at line 1757 of file flatzinc.cpp.
|
inlinevirtual |
Return info for a space.
Implements Gecode::CPProfilerSearchTracer::GetInfo.
Definition at line 1748 of file flatzinc.cpp.
| const Printer& Gecode::FlatZinc::FlatZincGetInfo::p |
Definition at line 1745 of file flatzinc.cpp.