50 os <<
"trace<Search>::init()" << std::endl;
51 for (
unsigned int e=0U; e<
engines(); e++) {
52 os <<
"\t" << e <<
": " 65 os <<
"}" << std::endl;
71 os <<
"trace<Search>::round(e:" << eid <<
")" << std::endl;
76 os <<
"trace<Search>Search::skip(w:" << ei.
wid()
83 os <<
"trace<Search>::node(";
97 os <<
",w:" << ni.
wid() <<
',';
99 os <<
"p:" << ei.
nid() <<
',';
100 os <<
"n:" << ni.
nid() <<
')';
103 os <<
" [stolen from w:" << ei.
wid() <<
"]";
114 os <<
"trace<Search>::done()" << std::endl;
unsigned int alternatives(void) const
Return number of alternatives.
unsigned int elst(void) const
Return id of last engine.
unsigned int nid(void) const
Return node id.
unsigned int eid(unsigned int wid) const
Return the engine id of a worker with id wid.
Node representing a branch.
EngineType type(void) const
Return engine type.
const Choice & choice(void) const
Return corresponding choice.
unsigned int wid(void) const
Return parent worker id.
Node representing failure.
unsigned int wlst(void) const
Return id of last worker plus one.
unsigned int engines(void) const
Return number of engines.
virtual void skip(const EdgeInfo &ei)
The engine skips an edge.
std::string string(void) const
Return string for alternative.
const EngineInfo & engine(unsigned int eid) const
Provide access to engine with id eid.
Gecode::IntArgs i({1, 2, 3, 4})
Node representing a solution.
virtual void node(const EdgeInfo &ei, const NodeInfo &ni)
The engine creates a new node with information ei and ni.
NodeType type(void) const
Return node type.
StdSearchTracer(std::ostream &os=std::cerr)
Initialize with output stream os.
virtual void init(void)
The search engine initializes.
unsigned int nid(void) const
Return parent node id.
virtual ~StdSearchTracer(void)
Delete.
virtual void done(void)
All workers are done.
unsigned int alternative(void) const
Return number of alternative.
unsigned int wid(void) const
Return worker id.
std::ostream & os
Output stream to use.
static const char * t2s[EngineType::AOE+1]
Map engine type to string.
unsigned int wfst(void) const
Return id of first worker.
virtual void round(unsigned int eid)
The engine with id eid goes to a next round (restart or next iteration in LDS)
Gecode toplevel namespace
static StdSearchTracer def
Default tracer (printing to std::cerr)