38 namespace Gecode {
namespace Search {
71 operator unsigned int(
void)
const;
80 unsigned int nid(
void);
82 unsigned int wid(
void)
const;
93 operator bool(
void)
const;
105 void invalidate(
void);
121 operator unsigned int(
void)
const;
130 unsigned int wid(
void)
const;
132 unsigned int nid(
void);
134 void invalidate(
void);
147 operator bool(
void)
const;
158 if (tracer) tracer->engine(t,n);
173 TraceRecorder::ID::operator
unsigned int(
void)
const {
223 TraceRecorder::operator bool(
void)
const {
258 NoTraceRecorder::ID::operator
unsigned int(
void)
const {
305 NoTraceRecorder::operator bool(
void)
const {
SearchTracer::EdgeInfo _ei
Edge information.
unsigned int nid(void)
Generate new node id.
void engine(SearchTracer::EngineType t, unsigned int n)
Register engine.
ID(void)
Do not initialize.
void done(void)
The worker is done.
void invalidate(void)
Invalidate edge information.
void engine(SearchTracer::EngineType t, unsigned int n)
Register engine.
EngineType
Which type of engine.
unsigned int wid(void) const
Return worker id.
void node(const SearchTracer::EdgeInfo &ei, const SearchTracer::NodeInfo &ni)
The engine creates a new node with information ei and ni.
SearchTracer & tracer
The actual tracer.
void worker(void)
Register worker.
int n
Number of negative literals for node type.
Recorder for a search tracer with edge information.
EdgeTraceRecorder(SearchTracer *t)
Initialize.
SearchTracer::EdgeInfo * ei(void)
Provide access to edge information.
Simple recorder for a search tracer.
NoTraceRecorder(SearchTracer *t)
Initialize.
Class for storing node identifiers.
Class for storing identifiers.
void round(void)
The workers goes to a next round (restart or next iteration in LDS)
Support for tracing search.
void round(void)
The workers goes to a next round (restart or next iteration in LDS)
static void engine(SearchTracer *tracer, SearchTracer::EngineType t, unsigned int n)
Register engine.
unsigned int _id
The actual identifier.
unsigned int nid(void)
Generate new node id.
void skip(const SearchTracer::EdgeInfo &ei)
The engine skips an edge.
unsigned int _eid
The engine id.
ID(void)
Do not initialize.
void done(void)
The worker is done.
unsigned int _nid
The next free node id.
unsigned int wid(void) const
Return worker id.
TraceRecorder(SearchTracer *t)
Initialize.
void worker(void)
Register worker.
Recorder for engine events (for access control)
Gecode toplevel namespace
void invalidate(void)
Invalidate edge information (for stealing)
void node(const SearchTracer::EdgeInfo &ei, const SearchTracer::NodeInfo &ni)
The engine creates a new node with information ei and ni.
void invalidate(void)
Invalidate edge information.
unsigned int _wid
The worker id.
void skip(const SearchTracer::EdgeInfo &ei)
The engine skips an edge.
SearchTracer::EdgeInfo * ei(void)
Provide access to edge information.