
Default tracer. More...
#include <tracer.hpp>
Public Member Functions | |
| StdTracer (std::ostream &os=std::cerr) | |
| Initialize with output stream os. | |
| virtual void | propagate (const Space &home, const PropagateTraceInfo &pti) |
| Propagate function. | |
| virtual void | commit (const Space &home, const CommitTraceInfo &cti) |
| Commit function. | |
| virtual void | post (const Space &home, const PostTraceInfo &pti) |
| Post function. | |
Public Member Functions inherited from Gecode::Tracer | |
| Tracer (void) | |
| Constructor. | |
| virtual | ~Tracer (void) |
| Destructor. | |
Static Public Attributes | |
| static StdTracer | def |
| Default tracer (printing to std::cerr) | |
Protected Attributes | |
| std::ostream & | os |
| Output stream to use. | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::HeapAllocated | |
| static void * | operator new (size_t s) |
| Memory management. | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. | |
Static Protected Attributes inherited from Gecode::TracerBase | |
| static Support::Mutex | m |
| Mutex to provide synchronization. | |
Default tracer.
Definition at line 210 of file tracer.hpp.
| Gecode::StdTracer::StdTracer | ( | std::ostream & | os = std::cerr | ) |
Initialize with output stream os.
Definition at line 41 of file tracer.cpp.
|
virtual |
Propagate function.
The propagate function is called when a propagator has been executed.
Implements Gecode::Tracer.
Definition at line 44 of file tracer.cpp.
|
virtual |
Commit function.
The commit function is called when a brancher has executed a commit operation.
Implements Gecode::Tracer.
Definition at line 50 of file tracer.cpp.
|
virtual |
Post function.
The post function is called when an attempt to post a propagator has been executed.
Implements Gecode::Tracer.
Definition at line 59 of file tracer.cpp.
|
protected |
Output stream to use.
Definition at line 213 of file tracer.hpp.
|
static |
Default tracer (printing to std::cerr)
Definition at line 242 of file tracer.hpp.