Gecode::Tracer Class Reference
[Tracing constraint propagation]
#include <tracer.hpp>
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 void | post (const Space &home, const PostTraceInfo &pti)=0 |
Post function. | |
virtual | ~Tracer (void) |
Destructor. |
Detailed Description
Definition at line 149 of file tracer.hpp.
Constructor & Destructor Documentation
Gecode::Tracer::Tracer | ( | void | ) | [inline] |
Constructor.
Definition at line 304 of file tracer.hpp.
Gecode::Tracer::~Tracer | ( | void | ) | [inline, virtual] |
Destructor.
Definition at line 327 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.
virtual void Gecode::Tracer::post | ( | const Space & | home, | |
const PostTraceInfo & | pti | |||
) | [pure virtual] |
Post function.
The post function is called when an attempt to post a propagator has been executed.
Implemented in Gecode::StdTracer.
The documentation for this class was generated from the following file:
- gecode/kernel/trace/tracer.hpp