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

Gecode::Tracer Class Reference
[Tracing constraint propagation]

Tracer. More...

#include <tracer.hpp>

List of all members.

Public Member Functions

 Tracer (void)
 Constructor.
virtual void propagate (const Space &home, const PropagateTraceInfo &pti)=0
 Propagate function.
virtual void commit (const Space &home, const CommitTraceInfo &cti)=0
 Commit function.
virtual ~Tracer (void)
 Destructor.

Detailed Description

Tracer.

Definition at line 149 of file tracer.hpp.


Constructor & Destructor Documentation

Gecode::Tracer::Tracer ( void   )  [inline]

Constructor.

Definition at line 285 of file tracer.hpp.

Gecode::Tracer::~Tracer ( void   )  [inline, virtual]

Destructor.

Definition at line 304 of file tracer.hpp.


Member Function Documentation

virtual void Gecode::Tracer::propagate ( const Space home,
const PropagateTraceInfo pti 
) [pure virtual]

Propagate function.

The propagate function is called when a propagator has been executed.

Implemented in Gecode::StdTracer.

virtual void Gecode::Tracer::commit ( const Space home,
const CommitTraceInfo cti 
) [pure virtual]

Commit function.

The commit function is called when a brancher has executed a commit operation.

Implemented in Gecode::StdTracer.


The documentation for this class was generated from the following file: