Gecode::ViewTraceRecorder< View > Class Template Reference
[Tracing constraint propagation]
Propagator for recording view trace information. More...
#include <recorder.hpp>
Classes | |
| class | Idx |
| Advisor with index information. More... | |
| class | Slack |
| Collection of slack values. More... | |
Public Types | |
| typedef TraceTraits< View > ::TraceView | TraceView |
| The corresponding duplicate view type. | |
| typedef TraceTraits< View > ::TraceDelta | TraceDelta |
| The corresponding trace delta type. | |
| typedef TraceTraits< View > ::SlackValue | SlackValue |
| The corresponding slack value type. | |
Public Member Functions | |
| ViewTraceRecorder (Home home, ViewArray< View > &x, TraceFilter tf, int te, ViewTracer< View > &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 | advise (Space &home, Advisor &a, const Delta &d) |
| Give advice to propagator. | |
| 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, ViewArray< View > &x, TraceFilter tf, int te, ViewTracer< View > &t) |
| Post recorder propagator. | |
Protected Member Functions | |
| ViewTraceRecorder (Space &home, ViewTraceRecorder &p) | |
| Constructor for cloning p. | |
Protected Attributes | |
| ViewArray< TraceView > | o |
| Duplicate views (old information). | |
| ViewArray< View > | n |
| Original views (new information). | |
| Council< Idx > | c |
| The advisor council. | |
| TraceFilter | tf |
| The trace filter. | |
| int | te |
| Which events to trace. | |
| ViewTracer< View > & | t |
| The actual tracer. | |
| Slack | s |
| Slack information. | |
Trace information | |
|
| |
| const View::VarType | operator[] (int i) const |
| Return variable being traced at position i. | |
| int | size (void) const |
| Return number of variables being traced. | |
| const Slack & | slack (void) const |
| Provide access to slack information. | |
Detailed Description
template<class View>
class Gecode::ViewTraceRecorder< View >
Propagator for recording view trace information.
Definition at line 59 of file recorder.hpp.
Member Typedef Documentation
| typedef TraceTraits<View>::TraceView Gecode::ViewTraceRecorder< View >::TraceView |
The corresponding duplicate view type.
Definition at line 62 of file recorder.hpp.
| typedef TraceTraits<View>::TraceDelta Gecode::ViewTraceRecorder< View >::TraceDelta |
The corresponding trace delta type.
Definition at line 64 of file recorder.hpp.
| typedef TraceTraits<View>::SlackValue Gecode::ViewTraceRecorder< View >::SlackValue |
The corresponding slack value type.
Definition at line 66 of file recorder.hpp.
Constructor & Destructor Documentation
| Gecode::ViewTraceRecorder< View >::ViewTraceRecorder | ( | Space & | home, | |
| ViewTraceRecorder< View > & | p | |||
| ) | [inline, protected] |
Constructor for cloning p.
Definition at line 300 of file recorder.hpp.
| Gecode::ViewTraceRecorder< View >::ViewTraceRecorder | ( | Home | home, | |
| ViewArray< View > & | x, | |||
| TraceFilter | tf, | |||
| int | te, | |||
| ViewTracer< View > & | t | |||
| ) | [inline] |
Constructor for creation.
Definition at line 261 of file recorder.hpp.
Member Function Documentation
| Propagator * Gecode::ViewTraceRecorder< View >::copy | ( | Space & | home | ) | [inline, virtual] |
Copy propagator during cloning.
Implements Gecode::Actor.
Definition at line 309 of file recorder.hpp.
| PropCost Gecode::ViewTraceRecorder< View >::cost | ( | const Space & | home, | |
| const ModEventDelta & | med | |||
| ) | const [inline, virtual] |
Cost function (record so that propagator runs last).
Implements Gecode::Propagator.
Definition at line 329 of file recorder.hpp.
| void Gecode::ViewTraceRecorder< View >::reschedule | ( | Space & | home | ) | [inline, virtual] |
| ExecStatus Gecode::ViewTraceRecorder< View >::advise | ( | Space & | home, | |
| Advisor & | a, | |||
| const Delta & | d | |||
| ) | [inline, virtual] |
Give advice to propagator.
Reimplemented from Gecode::Propagator.
Definition at line 341 of file recorder.hpp.
| ExecStatus Gecode::ViewTraceRecorder< View >::propagate | ( | Space & | home, | |
| const ModEventDelta & | med | |||
| ) | [inline, virtual] |
| size_t Gecode::ViewTraceRecorder< View >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Definition at line 315 of file recorder.hpp.
| ExecStatus Gecode::ViewTraceRecorder< View >::post | ( | Home | home, | |
| ViewArray< View > & | x, | |||
| TraceFilter | tf, | |||
| int | te, | |||
| ViewTracer< View > & | t | |||
| ) | [inline, static] |
Post recorder propagator.
Definition at line 285 of file recorder.hpp.
| const View::VarType Gecode::ViewTraceRecorder< View >::operator[] | ( | int | i | ) | const [inline] |
Return variable being traced at position i.
Definition at line 196 of file recorder.hpp.
| int Gecode::ViewTraceRecorder< View >::size | ( | void | ) | const [inline] |
Return number of variables being traced.
Definition at line 202 of file recorder.hpp.
| const ViewTraceRecorder< View >::Slack & Gecode::ViewTraceRecorder< View >::slack | ( | void | ) | const [inline] |
Provide access to slack information.
Definition at line 207 of file recorder.hpp.
Member Data Documentation
ViewArray<TraceView> Gecode::ViewTraceRecorder< View >::o [protected] |
Duplicate views (old information).
Definition at line 100 of file recorder.hpp.
ViewArray<View> Gecode::ViewTraceRecorder< View >::n [protected] |
Original views (new information).
Definition at line 102 of file recorder.hpp.
Council<Idx> Gecode::ViewTraceRecorder< View >::c [protected] |
The advisor council.
Definition at line 104 of file recorder.hpp.
TraceFilter Gecode::ViewTraceRecorder< View >::tf [protected] |
The trace filter.
Definition at line 106 of file recorder.hpp.
int Gecode::ViewTraceRecorder< View >::te [protected] |
Which events to trace.
Definition at line 108 of file recorder.hpp.
ViewTracer<View>& Gecode::ViewTraceRecorder< View >::t [protected] |
The actual tracer.
Definition at line 110 of file recorder.hpp.
Slack Gecode::ViewTraceRecorder< View >::s [protected] |
Slack information.
Definition at line 112 of file recorder.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/trace/recorder.hpp