Support for tracing search. More...
#include <search.hh>
Classes | |
class | EdgeInfo |
Edge information. More... | |
class | EngineInfo |
Information about an engine. More... | |
class | NodeInfo |
Node information. More... | |
Public Types | |
enum | EngineType { DFS = 0 , BAB = 1 , LDS = 2 , RBS = 3 , PBS = 4 , AOE = 5 } |
Which type of engine. More... | |
enum | NodeType { SOLVED = 0 , FAILED = 1 , BRANCH = 2 } |
Node type. More... | |
Unsynchronized internal calls | |
SearchTracer (void) | |
Initialize. | |
Engine information | |
unsigned int | workers (void) const |
Return number of workers. | |
unsigned int | engines (void) const |
Return number of engines. | |
const EngineInfo & | engine (unsigned int eid) const |
Provide access to engine with id eid. | |
unsigned int | eid (unsigned int wid) const |
Return the engine id of a worker with id wid. | |
Trace event functions | |
virtual void | init (void)=0 |
The search engine initializes. | |
virtual void | round (unsigned int eid)=0 |
The engine with id eid goes to a next round (restart or next iteration in LDS) | |
virtual void | skip (const EdgeInfo &ei)=0 |
The engine skips an edge. | |
virtual void | node (const EdgeInfo &ei, const NodeInfo &ni)=0 |
The engine creates a new node with information ei and ni. | |
virtual void | done (void)=0 |
All workers are done. | |
virtual | ~SearchTracer (void) |
Delete. | |
|
inline |
Initialize.
Definition at line 220 of file tracer.hpp.
|
inlinevirtual |
Delete.
Definition at line 284 of file tracer.hpp.
|
inline |
Return number of workers.
Definition at line 261 of file tracer.hpp.
|
inline |
Return number of engines.
Definition at line 266 of file tracer.hpp.
|
inline |
Provide access to engine with id eid.
Definition at line 271 of file tracer.hpp.
|
inline |
Return the engine id of a worker with id wid.
Definition at line 278 of file tracer.hpp.
|
pure virtual |
The search engine initializes.
Implemented in Gecode::CPProfilerSearchTracer, and Gecode::StdSearchTracer.
|
pure virtual |
The engine with id eid goes to a next round (restart or next iteration in LDS)
Implemented in Gecode::CPProfilerSearchTracer, and Gecode::StdSearchTracer.
|
pure virtual |
The engine skips an edge.
Implemented in Gecode::CPProfilerSearchTracer, and Gecode::StdSearchTracer.
The engine creates a new node with information ei and ni.
Implemented in Gecode::CPProfilerSearchTracer, and Gecode::StdSearchTracer.
|
pure virtual |
All workers are done.
Implemented in Gecode::CPProfilerSearchTracer, and Gecode::StdSearchTracer.