- Gecode
- StdSearchTracer

#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... | |
Public Member Functions inherited from Gecode::SearchTracer | |
| 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 | |
Public Types inherited from Gecode::SearchTracer | |
| 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 |