- Gecode
- Search
- NoTraceRecorder

Empty trace recorder. More...
#include <trace-recorder.hpp>
Classes | |
| class | ID |
| Class for storing node identifiers. More... | |
Public Member Functions | |
| NoTraceRecorder (SearchTracer *t) | |
| Initialize. More... | |
| void | engine (SearchTracer::EngineType t, unsigned int n) |
| Register engine. More... | |
| void | worker (void) |
| Register worker. More... | |
| unsigned int | wid (void) const |
| Return worker id. More... | |
| unsigned int | nid (void) |
| Generate new node id. More... | |
| void | invalidate (void) |
| Invalidate edge information. More... | |
| SearchTracer::EdgeInfo * | ei (void) |
| Provide access to edge information. More... | |
| void | round (void) |
| The workers goes to a next round (restart or next iteration in LDS) More... | |
| void | skip (const SearchTracer::EdgeInfo &ei) |
| The engine skips an edge. More... | |
| void | node (const SearchTracer::EdgeInfo &ei, const SearchTracer::NodeInfo &ni) |
| The engine creates a new node with information ei and ni. More... | |
| void | done (void) |
| The worker is done. More... | |
| operator bool (void) const | |
| Whether this is a real tracer. More... | |
Empty trace recorder.
Definition at line 107 of file trace-recorder.hpp.
|
inline |
Initialize.
Definition at line 259 of file trace-recorder.hpp.
|
inline |
Register engine.
Definition at line 262 of file trace-recorder.hpp.
|
inline |
Register worker.
Definition at line 265 of file trace-recorder.hpp.
|
inline |
Return worker id.
Definition at line 268 of file trace-recorder.hpp.
|
inline |
Generate new node id.
Definition at line 273 of file trace-recorder.hpp.
|
inline |
Invalidate edge information.
Definition at line 278 of file trace-recorder.hpp.
|
inline |
Provide access to edge information.
Definition at line 281 of file trace-recorder.hpp.
|
inline |
The workers goes to a next round (restart or next iteration in LDS)
Definition at line 286 of file trace-recorder.hpp.
|
inline |
The engine skips an edge.
Definition at line 289 of file trace-recorder.hpp.
|
inline |
The engine creates a new node with information ei and ni.
Definition at line 292 of file trace-recorder.hpp.
|
inline |
The worker is done.
Definition at line 297 of file trace-recorder.hpp.
|
inline |
Whether this is a real tracer.
Definition at line 301 of file trace-recorder.hpp.