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 5313 of file int.hh.

---

Constructor & Destructor Documentation

Gecode::StdBoolTracer::StdBoolTracer

(

std::ostream &

os0 = std::cerr

)

Initialize with output stream os0.

Definition at line 119 of file tracer.cpp.

---

Member Function Documentation

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

Print init information.

Definition at line 123 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 132 of file tracer.cpp.

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

Print fixpoint information.

Definition at line 152 of file tracer.cpp.

void Gecode::StdBoolTracer::fail	(	const Space &	home,
		const BoolTraceRecorder &	t
	)			[virtual]

Print failure information.

Definition at line 170 of file tracer.cpp.

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

Print that trace recorder is done.

Definition at line 188 of file tracer.cpp.

---

Member Data Documentation

std::ostream& Gecode::StdBoolTracer::os [protected]

Output stream to use.

Definition at line 5316 of file int.hh.

StdBoolTracer Gecode::StdBoolTracer::def [static]

Default tracer (printing to std::cerr).

Definition at line 5332 of file int.hh.

---

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

• gecode/int.hh
• gecode/int/trace/tracer.cpp