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 | ~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 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:
- gecode/kernel/trace/tracer.hpp