Public Member Functions | |
FlatZincGetInfo (const Printer &printer) | |
virtual std::string | getInfo (const Space &space) const |
Return info for a space. More... | |
~FlatZincGetInfo (void) | |
![]() | |
GetInfo (void) | |
Initialize. More... | |
virtual | ~GetInfo (void) |
Delete. More... | |
Public Attributes | |
const Printer & | p |
Additional Inherited Members | |
![]() | |
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 1726 of file flatzinc.cpp.
|
inline |
Definition at line 1729 of file flatzinc.cpp.
|
inline |
Definition at line 1740 of file flatzinc.cpp.
|
inlinevirtual |
Return info for a space.
Implements Gecode::CPProfilerSearchTracer::GetInfo.
Definition at line 1731 of file flatzinc.cpp.
const Printer& Gecode::FlatZinc::FlatZincGetInfo::p |
Definition at line 1728 of file flatzinc.cpp.