Gecode::StdBoolTracer Class Reference

Standard Boolean variable tracer. More...

#include <int.hh>

Public Member Functions
	StdBoolTracer (std::ostream &os0=std::cerr)
	Initialize with output stream os0. More...
virtual void	init (const Space &home, const BoolTraceRecorder &t)
	Print init information. More...
virtual void	prune (const Space &home, const BoolTraceRecorder &t, const ExecInfo &ei, int i, BoolTraceDelta &d)
	Print prune information. More...
virtual void	fix (const Space &home, const BoolTraceRecorder &t)
	Print fixpoint information. More...
virtual void	done (const Space &home, const BoolTraceRecorder &t)
	Print that trace recorder is done. More...
Public Member Functions inherited from Gecode::Tracer< View >
	Tracer (void)
	Constructor. More...
virtual void	init (const Space &home, const TraceRecorder< View > &t)=0
	Init function. More...
virtual void	prune (const Space &home, const TraceRecorder< View > &t, const ExecInfo &ei, int i, typename TraceTraits< View >::TraceDelta &d)=0
	Prune function. More...
virtual void	fix (const Space &home, const TraceRecorder< View > &t)=0
	Fixpoint function. More...
virtual void	done (const Space &home, const TraceRecorder< View > &t)=0
	Done function. More...
virtual	~Tracer (void)
	Destructor. More...

Static Public Attributes
static StdBoolTracer	def
	Default tracer (printing to std::cerr) More...

Protected Attributes
std::ostream &	os
	Output stream to use. More...

Additional Inherited Members
Static Public Member Functions inherited from Gecode::HeapAllocated
static void *	operator new (size_t s)
	Memory management. More...
static void	operator delete (void *p)
	Free memory allocated from heap. More...
Static Protected Attributes inherited from Gecode::TracerBase
static Support::Mutex	m
	Mutex to provide synchronization. More...

Detailed Description

Standard Boolean variable tracer.

Definition at line 4761 of file int.hh.

Constructor & Destructor Documentation

StdBoolTracer()

Gecode::StdBoolTracer::StdBoolTracer

(

std::ostream &

os0 = std::cerr

)

Initialize with output stream os0.

Definition at line 105 of file tracer.cpp.

Member Function Documentation

init()

void Gecode::StdBoolTracer::init ( const Space &  home, const BoolTraceRecorder &  t  )

virtual

Print init information.

Definition at line 109 of file tracer.cpp.

prune()

void Gecode::StdBoolTracer::prune ( const Space &  home, const BoolTraceRecorder &  t, const ExecInfo &  ei, int  i, BoolTraceDelta &  d  )

virtual

Print prune information.

Definition at line 118 of file tracer.cpp.

fix()

void Gecode::StdBoolTracer::fix ( const Space &  home, const BoolTraceRecorder &  t  )

virtual

Print fixpoint information.

Definition at line 138 of file tracer.cpp.

done()

void Gecode::StdBoolTracer::done ( const Space &  home, const BoolTraceRecorder &  t  )

virtual

Print that trace recorder is done.

Definition at line 156 of file tracer.cpp.

Member Data Documentation

os

std::ostream& Gecode::StdBoolTracer::os

protected

Output stream to use.

Definition at line 4764 of file int.hh.

def

StdBoolTracer Gecode::StdBoolTracer::def

static

Default tracer (printing to std::cerr)

Definition at line 4778 of file int.hh.

---

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

• gecode/int.hh (Revision: 15233)
• gecode/int/trace/tracer.cpp (Revision: 15116)