Gecode::SearchTracer Class Reference
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... | |
Public Member Functions | |
SearchTracer (void) | |
Initialize. | |
virtual | ~SearchTracer (void) |
Delete. | |
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. |
Detailed Description
Support for tracing search.
Definition at line 187 of file search.hh.
Member Enumeration Documentation
Constructor & Destructor Documentation
Gecode::SearchTracer::SearchTracer | ( | void | ) | [inline] |
Initialize.
Definition at line 220 of file tracer.hpp.
Gecode::SearchTracer::~SearchTracer | ( | void | ) | [inline, virtual] |
Delete.
Definition at line 284 of file tracer.hpp.
Member Function Documentation
unsigned int Gecode::SearchTracer::workers | ( | void | ) | const [inline] |
Return number of workers.
Definition at line 261 of file tracer.hpp.
unsigned int Gecode::SearchTracer::engines | ( | void | ) | const [inline] |
Return number of engines.
Definition at line 266 of file tracer.hpp.
const SearchTracer::EngineInfo & Gecode::SearchTracer::engine | ( | unsigned int | eid | ) | const [inline] |
Provide access to engine with id eid.
Definition at line 271 of file tracer.hpp.
unsigned int Gecode::SearchTracer::eid | ( | unsigned int | wid | ) | const [inline] |
Return the engine id of a worker with id wid.
Definition at line 278 of file tracer.hpp.
virtual void Gecode::SearchTracer::init | ( | void | ) | [pure virtual] |
The search engine initializes.
Implemented in Gecode::StdSearchTracer, and Gecode::CPProfilerSearchTracer.
virtual void Gecode::SearchTracer::round | ( | unsigned int | eid | ) | [pure virtual] |
The engine with id eid goes to a next round (restart or next iteration in LDS).
Implemented in Gecode::StdSearchTracer, and Gecode::CPProfilerSearchTracer.
virtual void Gecode::SearchTracer::skip | ( | const EdgeInfo & | ei | ) | [pure virtual] |
The engine skips an edge.
Implemented in Gecode::StdSearchTracer, and Gecode::CPProfilerSearchTracer.
The engine creates a new node with information ei and ni.
Implemented in Gecode::StdSearchTracer, and Gecode::CPProfilerSearchTracer.
virtual void Gecode::SearchTracer::done | ( | void | ) | [pure virtual] |
All workers are done.
Implemented in Gecode::StdSearchTracer, and Gecode::CPProfilerSearchTracer.
The documentation for this class was generated from the following files:
- gecode/search.hh
- gecode/search/tracer.hpp