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 153 of file recorder.hpp.
Constructor & Destructor Documentation
| Gecode::TraceRecorder::TraceRecorder | ( | Space & | home, | |
| TraceRecorder & | p | |||
| ) | [inline] |
Constructor for cloning p.
Definition at line 415 of file recorder.hpp.
| Gecode::TraceRecorder::TraceRecorder | ( | Home | home, | |
| TraceFilter | tf, | |||
| int | te, | |||
| Tracer & | t | |||
| ) | [inline] |
Constructor for creation.
Definition at line 400 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 408 of file recorder.hpp.
| const TraceFilter & Gecode::TraceRecorder::filter | ( | void | ) | const [inline] |
Return trace filter.
Definition at line 382 of file recorder.hpp.
| int Gecode::TraceRecorder::events | ( | void | ) | const [inline] |
Which events to trace.
Definition at line 386 of file recorder.hpp.
| Tracer & Gecode::TraceRecorder::tracer | ( | void | ) | const [inline] |
Return tracer.
Definition at line 390 of file recorder.hpp.
Member Data Documentation
The trace filter.
Definition at line 156 of file recorder.hpp.
Which events to trace.
Definition at line 158 of file recorder.hpp.
The actual tracer.
Definition at line 160 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