Generated on Fri Oct 19 11:25:52 2018 for Gecode by doxygen 1.6.3

Gecode::TraceRecorder Class Reference
[Tracing constraint propagation]

Propagator for recording trace information. More...

#include <recorder.hpp>

List of all members.

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 Propagatorcopy (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.
Tracert
 The actual tracer.

Trace information



const TraceFilterfilter (void) const
 Return trace filter.
int events (void) const
 Which events to trace.
Tracertracer (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]

Schedule function.

Implements Gecode::Propagator.

Definition at line 58 of file recorder.cpp.

ExecStatus Gecode::TraceRecorder::propagate ( Space home,
const ModEventDelta med 
) [virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 62 of file recorder.cpp.

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: