#include <search.hh>
Public Member Functions | |
StdSearchTracer (std::ostream &os=std::cerr) | |
Initialize with output stream os. More... | |
virtual void | init (void) |
The search engine initializes. More... | |
virtual void | round (unsigned int eid) |
The engine with id eid goes to a next round (restart or next iteration in LDS) More... | |
virtual void | skip (const EdgeInfo &ei) |
The engine skips an edge. More... | |
virtual void | node (const EdgeInfo &ei, const NodeInfo &ni) |
The engine creates a new node with information ei and ni. More... | |
virtual void | done (void) |
All workers are done. More... | |
virtual | ~StdSearchTracer (void) |
Delete. More... | |
![]() | |
SearchTracer (void) | |
Initialize. More... | |
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... | |
virtual | ~SearchTracer (void) |
Delete. More... | |
Static Public Attributes | |
static StdSearchTracer | def |
Default tracer (printing to std::cerr) More... | |
Protected Attributes | |
std::ostream & | os |
Output stream to use. More... | |
Static Protected Attributes | |
static const char * | t2s [EngineType::AOE+1] |
Map engine type to string. More... | |
Additional Inherited Members | |
![]() | |
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... | |
Gecode::StdSearchTracer::StdSearchTracer | ( | std::ostream & | os = std::cerr | ) |
Initialize with output stream os.
Definition at line 45 of file tracer.cpp.
|
virtual |
Delete.
Definition at line 117 of file tracer.cpp.
|
virtual |
The search engine initializes.
Implements Gecode::SearchTracer.
Definition at line 49 of file tracer.cpp.
|
virtual |
The engine with id eid goes to a next round (restart or next iteration in LDS)
Implements Gecode::SearchTracer.
Definition at line 70 of file tracer.cpp.
|
virtual |
The engine skips an edge.
Implements Gecode::SearchTracer.
Definition at line 75 of file tracer.cpp.
The engine creates a new node with information ei and ni.
Implements Gecode::SearchTracer.
Definition at line 82 of file tracer.cpp.
|
virtual |
|
protected |
|
staticprotected |
|
static |