Generated on Tue Apr 18 10:23:09 2017 for Gecode by doxygen 1.6.3

Gecode::StdBoolTracer Class Reference
[Tracing for integer and Boolean variables]

Standard Boolean variable tracer. More...

#include <int.hh>

List of all members.

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]

Output stream to use.

Definition at line 5172 of file int.hh.

Default tracer (printing to std::cerr).

Definition at line 5188 of file int.hh.


The documentation for this class was generated from the following files: