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. | |
![]() | |
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 void * | operator new (size_t s) |
Memory management. | |
static void | operator delete (void *p) |
Free memory allocated from heap. | |
![]() | |
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.