
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.