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 60 of file recorder.hpp.
Member Typedef Documentation
typedef TraceTraits<View>::TraceView Gecode::ViewTraceRecorder< View >::TraceView |
The corresponding duplicate view type.
Definition at line 63 of file recorder.hpp.
typedef TraceTraits<View>::TraceDelta Gecode::ViewTraceRecorder< View >::TraceDelta |
The corresponding trace delta type.
Definition at line 65 of file recorder.hpp.
typedef TraceTraits<View>::SlackValue Gecode::ViewTraceRecorder< View >::SlackValue |
The corresponding slack value type.
Definition at line 67 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 301 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 262 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 310 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 330 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 342 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 316 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 286 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 197 of file recorder.hpp.
int Gecode::ViewTraceRecorder< View >::size | ( | void | ) | const [inline] |
Return number of variables being traced.
Definition at line 203 of file recorder.hpp.
const ViewTraceRecorder< View >::Slack & Gecode::ViewTraceRecorder< View >::slack | ( | void | ) | const [inline] |
Provide access to slack information.
Definition at line 208 of file recorder.hpp.
Member Data Documentation
ViewArray<TraceView> Gecode::ViewTraceRecorder< View >::o [protected] |
Duplicate views (old information).
Definition at line 101 of file recorder.hpp.
ViewArray<View> Gecode::ViewTraceRecorder< View >::n [protected] |
Original views (new information).
Definition at line 103 of file recorder.hpp.
Council<Idx> Gecode::ViewTraceRecorder< View >::c [protected] |
The advisor council.
Definition at line 105 of file recorder.hpp.
TraceFilter Gecode::ViewTraceRecorder< View >::tf [protected] |
The trace filter.
Definition at line 107 of file recorder.hpp.
int Gecode::ViewTraceRecorder< View >::te [protected] |
Which events to trace.
Definition at line 109 of file recorder.hpp.
ViewTracer<View>& Gecode::ViewTraceRecorder< View >::t [protected] |
The actual tracer.
Definition at line 111 of file recorder.hpp.
Slack Gecode::ViewTraceRecorder< View >::s [protected] |
Slack information.
Definition at line 113 of file recorder.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/trace/recorder.hpp