Generated on Sun Feb 17 15:25:04 2019 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 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]

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 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: