Gecode::TraceRecorder Class Reference
[Tracing constraint propagation]
Propagator for recording trace information. More...
#include <recorder.hpp>
Public Member Functions | |
| TraceRecorder (Space &home, TraceRecorder &p) | |
| Constructor for cloning p. | |
| TraceRecorder (Home home, TraceFilter tf, int te, Tracer &t) | |
| Constructor for creation. | |
| virtual Propagator * | copy (Space &home) |
| Copy propagator during cloning. | |
| virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
| Cost function (record so that propagator runs last). | |
| virtual void | reschedule (Space &home) |
| Schedule function. | |
| virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
| Perform propagation. | |
| virtual size_t | dispose (Space &home) |
| Delete propagator and return its size. | |
Static Public Member Functions | |
| static ExecStatus | post (Home home, TraceFilter tf, int te, Tracer &t) |
| Post propagator. | |
Public Attributes | |
| TraceFilter | tf |
| The trace filter. | |
| int | te |
| Which events to trace. | |
| Tracer & | t |
| The actual tracer. | |
Trace information | |
|
| |
| const TraceFilter & | filter (void) const |
| Return trace filter. | |
| int | events (void) const |
| Which events to trace. | |
| Tracer & | tracer (void) const |
| Return tracer. | |
Detailed Description
Propagator for recording trace information.
This propagator is actually never run. It only provides access to information needed for tracing.
Definition at line 154 of file recorder.hpp.
Constructor & Destructor Documentation
| Gecode::TraceRecorder::TraceRecorder | ( | Space & | home, | |
| TraceRecorder & | p | |||
| ) | [inline] |
Constructor for cloning p.
Definition at line 416 of file recorder.hpp.
| Gecode::TraceRecorder::TraceRecorder | ( | Home | home, | |
| TraceFilter | tf, | |||
| int | te, | |||
| Tracer & | t | |||
| ) | [inline] |
Constructor for creation.
Definition at line 401 of file recorder.hpp.
Member Function Documentation
| Propagator * Gecode::TraceRecorder::copy | ( | Space & | home | ) | [virtual] |
Copy propagator during cloning.
Implements Gecode::Actor.
Definition at line 39 of file recorder.cpp.
| PropCost Gecode::TraceRecorder::cost | ( | const Space & | home, | |
| const ModEventDelta & | med | |||
| ) | const [virtual] |
Cost function (record so that propagator runs last).
Implements Gecode::Propagator.
Definition at line 53 of file recorder.cpp.
| void Gecode::TraceRecorder::reschedule | ( | Space & | home | ) | [virtual] |
| ExecStatus Gecode::TraceRecorder::propagate | ( | Space & | home, | |
| const ModEventDelta & | med | |||
| ) | [virtual] |
| size_t Gecode::TraceRecorder::dispose | ( | Space & | home | ) | [virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Definition at line 44 of file recorder.cpp.
| ExecStatus Gecode::TraceRecorder::post | ( | Home | home, | |
| TraceFilter | tf, | |||
| int | te, | |||
| Tracer & | t | |||
| ) | [inline, static] |
Post propagator.
Definition at line 409 of file recorder.hpp.
| const TraceFilter & Gecode::TraceRecorder::filter | ( | void | ) | const [inline] |
Return trace filter.
Definition at line 383 of file recorder.hpp.
| int Gecode::TraceRecorder::events | ( | void | ) | const [inline] |
Which events to trace.
Definition at line 387 of file recorder.hpp.
| Tracer & Gecode::TraceRecorder::tracer | ( | void | ) | const [inline] |
Return tracer.
Definition at line 391 of file recorder.hpp.
Member Data Documentation
The trace filter.
Definition at line 157 of file recorder.hpp.
Which events to trace.
Definition at line 159 of file recorder.hpp.
The actual tracer.
Definition at line 161 of file recorder.hpp.
The documentation for this class was generated from the following files:
- gecode/kernel/trace/recorder.hpp
- gecode/kernel/trace/recorder.cpp