Class to send solution information to CPProfiler. More...
#include <search.hh>
Public Member Functions | |
GetInfo (void) | |
Initialize. | |
virtual std::string | getInfo (const Space &home) const =0 |
Return info for a space. | |
virtual | ~GetInfo (void) |
Delete. |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::HeapAllocated | |
static void * | operator new (size_t s) |
Memory management. | |
static void | operator delete (void *p) |
Free memory allocated from heap. |
Class to send solution information to CPProfiler.
Gecode::CPProfilerSearchTracer::GetInfo::GetInfo | ( | void | ) |
Initialize.
Definition at line 49 of file tracer.cpp.
|
virtual |
Delete.
Definition at line 51 of file tracer.cpp.
|
pure virtual |
Return info for a space.
Implemented in Gecode::Driver::ScriptGetInfo< BaseSpace >, and Gecode::FlatZinc::FlatZincGetInfo.