Gecode::StdTracer Class Reference
[Tracing constraint propagation]
Default tracer. More...
#include <tracer.hpp>
Public Member Functions | |
StdTracer (std::ostream &os0=std::cerr) | |
Initialize with output stream os0. | |
virtual void | propagate (const Space &home, const PropagateTraceInfo &pti) |
Propagate function. | |
virtual void | commit (const Space &home, const CommitTraceInfo &cti) |
Commit function. | |
Static Public Attributes | |
static StdTracer | def |
Default tracer (printing to std::cerr). | |
Protected Attributes | |
std::ostream & | os |
Output stream to use. |
Detailed Description
Default tracer.
Definition at line 198 of file tracer.hpp.
Constructor & Destructor Documentation
Gecode::StdTracer::StdTracer | ( | std::ostream & | os0 = std::cerr |
) |
Initialize with output stream os0.
Definition at line 45 of file tracer.cpp.
Member Function Documentation
void Gecode::StdTracer::propagate | ( | const Space & | home, | |
const PropagateTraceInfo & | pti | |||
) | [virtual] |
Propagate function.
The propagate function is called when a propagator has been executed.
Implements Gecode::Tracer.
Definition at line 48 of file tracer.cpp.
void Gecode::StdTracer::commit | ( | const Space & | home, | |
const CommitTraceInfo & | cti | |||
) | [virtual] |
Commit function.
The commit function is called when a brancher has executed a commit operation.
Implements Gecode::Tracer.
Definition at line 54 of file tracer.cpp.
Member Data Documentation
std::ostream& Gecode::StdTracer::os [protected] |
Output stream to use.
Definition at line 201 of file tracer.hpp.
StdTracer Gecode::StdTracer::def [static] |
Default tracer (printing to std::cerr).
Definition at line 222 of file tracer.hpp.
The documentation for this class was generated from the following files:
- gecode/kernel/tracer.hpp (Revision: 15597)
- gecode/kernel/tracer.cpp (Revision: 15623)