Gecode::StdBoolTracer Class Reference
[Tracing for integer and Boolean variables]
Standard Boolean variable tracer. More...
#include <int.hh>
Public Member Functions | |
StdBoolTracer (std::ostream &os0=std::cerr) | |
Initialize with output stream os0. | |
virtual void | init (const Space &home, const BoolTraceRecorder &t) |
Print init information. | |
virtual void | prune (const Space &home, const BoolTraceRecorder &t, const ViewTraceInfo &vti, int i, BoolTraceDelta &d) |
Print prune information. | |
virtual void | fix (const Space &home, const BoolTraceRecorder &t) |
Print fixpoint information. | |
virtual void | fail (const Space &home, const BoolTraceRecorder &t) |
Print failure information. | |
virtual void | done (const Space &home, const BoolTraceRecorder &t) |
Print that trace recorder is done. | |
Static Public Attributes | |
static StdBoolTracer | def |
Default tracer (printing to std::cerr). | |
Protected Attributes | |
std::ostream & | os |
Output stream to use. |
Detailed Description
Standard Boolean variable tracer.
Definition at line 5169 of file int.hh.
Constructor & Destructor Documentation
Gecode::StdBoolTracer::StdBoolTracer | ( | std::ostream & | os0 = std::cerr |
) |
Initialize with output stream os0.
Definition at line 123 of file tracer.cpp.
Member Function Documentation
void Gecode::StdBoolTracer::init | ( | const Space & | home, | |
const BoolTraceRecorder & | t | |||
) | [virtual] |
Print init information.
Definition at line 127 of file tracer.cpp.
void Gecode::StdBoolTracer::prune | ( | const Space & | home, | |
const BoolTraceRecorder & | t, | |||
const ViewTraceInfo & | vti, | |||
int | i, | |||
BoolTraceDelta & | d | |||
) | [virtual] |
Print prune information.
Definition at line 136 of file tracer.cpp.
void Gecode::StdBoolTracer::fix | ( | const Space & | home, | |
const BoolTraceRecorder & | t | |||
) | [virtual] |
Print fixpoint information.
Definition at line 156 of file tracer.cpp.
void Gecode::StdBoolTracer::fail | ( | const Space & | home, | |
const BoolTraceRecorder & | t | |||
) | [virtual] |
Print failure information.
Definition at line 174 of file tracer.cpp.
void Gecode::StdBoolTracer::done | ( | const Space & | home, | |
const BoolTraceRecorder & | t | |||
) | [virtual] |
Print that trace recorder is done.
Definition at line 192 of file tracer.cpp.
Member Data Documentation
std::ostream& Gecode::StdBoolTracer::os [protected] |
StdBoolTracer Gecode::StdBoolTracer::def [static] |
The documentation for this class was generated from the following files:
- gecode/int.hh (Revision: 15623)
- gecode/int/trace/tracer.cpp (Revision: 15597)