Generated on Thu Apr 11 14:00:07 2019 for Gecode by doxygen 1.6.3
Gecode::Search::EdgeTraceRecorder

Gecode::Search::EdgeTraceRecorder Class Reference

Recorder for a search tracer with edge information. More...

#include <trace-recorder.hpp>

List of all members.

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

SearchTracer::EdgeInfo Gecode::Search::EdgeTraceRecorder::_ei [protected]

Edge information.

Definition at line 96 of file trace-recorder.hpp.

The documentation for this class was generated from the following file: