- Gecode
- SearchTracer

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. More... | |
Engine information | |
| unsigned int | workers (void) const |
| Return number of workers. More... | |
| unsigned int | engines (void) const |
| Return number of engines. More... | |
| const EngineInfo & | engine (unsigned int eid) const |
| Provide access to engine with id eid. More... | |
| unsigned int | eid (unsigned int wid) const |
| Return the engine id of a worker with id wid. More... | |
Trace event functions | |
| virtual void | init (void)=0 |
| The search engine initializes. More... | |
| virtual void | round (unsigned int eid)=0 |
| The engine with id eid goes to a next round (restart or next iteration in LDS) More... | |
| virtual void | skip (const EdgeInfo &ei)=0 |
| The engine skips an edge. More... | |
| virtual void | node (const EdgeInfo &ei, const NodeInfo &ni)=0 |
| The engine creates a new node with information ei and ni. More... | |
| virtual void | done (void)=0 |
| All workers are done. More... | |
| virtual | ~SearchTracer (void) |
| Delete. More... | |
|
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.