Public Member Functions | |
FlatZincGetInfo (const Printer &printer) | |
virtual std::string | getInfo (const Space &space) const |
Return info for a space. | |
~FlatZincGetInfo (void) | |
![]() | |
GetInfo (void) | |
Initialize. | |
virtual | ~GetInfo (void) |
Delete. | |
Public Attributes | |
const Printer & | p |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t s) |
Memory management. | |
static void | operator delete (void *p) |
Free memory allocated from heap. | |
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.