67 operator unsigned int(
void)
const;
76 unsigned int nid(
void);
78 unsigned int wid(
void)
const;
89 operator bool(
void)
const;
117 operator unsigned int(
void)
const;
126 unsigned int wid(
void)
const;
128 unsigned int nid(
void);
143 operator bool(
void)
const;
154 if (tracer) tracer->engine(t,n);
169 TraceRecorder::ID::operator
unsigned int(
void)
const {
219 TraceRecorder::operator bool(
void)
const {
254 NoTraceRecorder::ID::operator
unsigned int(
void)
const {
301 NoTraceRecorder::operator bool(
void)
const {
Support for tracing search.
EngineType
Which type of engine.
void invalidate(void)
Invalidate edge information.
EdgeTraceRecorder(SearchTracer *t)
Initialize.
SearchTracer::EdgeInfo _ei
Edge information.
SearchTracer::EdgeInfo * ei(void)
Provide access to edge information.
ID(void)
Do not initialize.
unsigned int wid(void) const
Return worker id.
void skip(const SearchTracer::EdgeInfo &ei)
The engine skips an edge.
unsigned int nid(void)
Generate new node id.
void done(void)
The worker is done.
void round(void)
The workers goes to a next round (restart or next iteration in LDS)
void invalidate(void)
Invalidate edge information.
void worker(void)
Register worker.
void node(const SearchTracer::EdgeInfo &ei, const SearchTracer::NodeInfo &ni)
The engine creates a new node with information ei and ni.
void engine(SearchTracer::EngineType t, unsigned int n)
Register engine.
SearchTracer::EdgeInfo * ei(void)
Provide access to edge information.
NoTraceRecorder(SearchTracer *t)
Initialize.
unsigned int _id
The actual identifier.
ID(void)
Do not initialize.
SearchTracer & tracer
The actual tracer.
unsigned int wid(void) const
Return worker id.
void worker(void)
Register worker.
unsigned int _nid
The next free node id.
unsigned int _eid
The engine id.
void engine(SearchTracer::EngineType t, unsigned int n)
Register engine.
void round(void)
The workers goes to a next round (restart or next iteration in LDS)
void done(void)
The worker is done.
void skip(const SearchTracer::EdgeInfo &ei)
The engine skips an edge.
TraceRecorder(SearchTracer *t)
Initialize.
void node(const SearchTracer::EdgeInfo &ei, const SearchTracer::NodeInfo &ni)
The engine creates a new node with information ei and ni.
unsigned int nid(void)
Generate new node id.
unsigned int _wid
The worker id.
Recorder for engine events (for access control)
static void engine(SearchTracer *tracer, SearchTracer::EngineType t, unsigned int n)
Register engine.
Gecode toplevel namespace