Recorder for a search tracer with edge information. More...
#include <trace-recorder.hpp>
Public Member Functions | |
EdgeTraceRecorder (SearchTracer *t) | |
Initialize. More... | |
void | invalidate (void) |
Invalidate edge information. More... | |
SearchTracer::EdgeInfo * | ei (void) |
Provide access to edge information. More... | |
![]() | |
TraceRecorder (SearchTracer *t) | |
Initialize. More... | |
void | engine (SearchTracer::EngineType t, unsigned int n) |
Register engine. More... | |
void | worker (void) |
Register worker. More... | |
unsigned int | nid (void) |
Generate new node id. More... | |
unsigned int | wid (void) const |
Return worker id. 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... | |
Protected Attributes | |
SearchTracer::EdgeInfo | _ei |
Edge information. More... | |
![]() | |
SearchTracer & | tracer |
The actual tracer. More... | |
unsigned int | _eid |
The engine id. More... | |
unsigned int | _wid |
The worker id. More... | |
unsigned int | _nid |
The next free node id. More... | |
Recorder for a search tracer with edge information.
Definition at line 97 of file trace-recorder.hpp.
|
inline |
Initialize.
Definition at line 233 of file trace-recorder.hpp.
|
inline |
Invalidate edge information.
Definition at line 237 of file trace-recorder.hpp.
|
inline |
Provide access to edge information.
Definition at line 242 of file trace-recorder.hpp.
|
protected |
Edge information.
Definition at line 100 of file trace-recorder.hpp.