Gecode::Search::EdgeTraceRecorder Class Reference
Recorder for a search tracer with edge information. More...
#include <trace-recorder.hpp>
Public Member Functions | |
EdgeTraceRecorder (SearchTracer *t) | |
Initialize. | |
void | invalidate (void) |
Invalidate edge information. | |
SearchTracer::EdgeInfo * | ei (void) |
Provide access to edge information. | |
Protected Attributes | |
SearchTracer::EdgeInfo | _ei |
Edge information. |
Detailed Description
Recorder for a search tracer with edge information.
Definition at line 93 of file trace-recorder.hpp.
Constructor & Destructor Documentation
Gecode::Search::EdgeTraceRecorder::EdgeTraceRecorder | ( | SearchTracer * | t | ) | [inline] |
Initialize.
Definition at line 229 of file trace-recorder.hpp.
Member Function Documentation
void Gecode::Search::EdgeTraceRecorder::invalidate | ( | void | ) | [inline] |
Invalidate edge information.
Definition at line 233 of file trace-recorder.hpp.
SearchTracer::EdgeInfo * Gecode::Search::EdgeTraceRecorder::ei | ( | void | ) | [inline] |
Provide access to edge information.
Definition at line 238 of file trace-recorder.hpp.
Member Data Documentation
Edge information.
Definition at line 96 of file trace-recorder.hpp.
The documentation for this class was generated from the following file:
- gecode/search/trace-recorder.hpp