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

Standard integer variable tracer. More...

#include <int.hh>

Public Member Functions
	StdIntTracer (std::ostream &os0=std::cerr)
	Initialize with output stream os0 and events \ e.
virtual void	init (const Space &home, const IntTraceRecorder &t)
	Print init information.
virtual void	prune (const Space &home, const IntTraceRecorder &t, const ViewTraceInfo &vti, int i, IntTraceDelta &d)
	Print prune information.
virtual void	fix (const Space &home, const IntTraceRecorder &t)
	Print fixpoint information.
virtual void	fail (const Space &home, const IntTraceRecorder &t)
	Print failure information.
virtual void	done (const Space &home, const IntTraceRecorder &t)
	Print that trace recorder is done.
Static Public Attributes
static StdIntTracer	def
	Default tracer (printing to std::cerr).
Protected Attributes
std::ostream &	os
	Output stream to use.

Detailed Description

Standard integer variable tracer.

Definition at line 5131 of file int.hh.

Gecode::StdIntTracer::StdIntTracer ( std::ostream & os0 = std::cerr )

Initialize with output stream os0 and events \ e.

Definition at line 43 of file tracer.cpp.

void Gecode::StdIntTracer::init	(	const Space &	home,
		const IntTraceRecorder &	t
	)			`[virtual]`

Print init information.

Definition at line 47 of file tracer.cpp.

void Gecode::StdIntTracer::prune	(	const Space &	home,
		const IntTraceRecorder &	t,
		const ViewTraceInfo &	vti,
		int	i,
		IntTraceDelta &	d
	)			`[virtual]`

Print prune information.

Definition at line 56 of file tracer.cpp.

void Gecode::StdIntTracer::fix	(	const Space &	home,
		const IntTraceRecorder &	t
	)			`[virtual]`

Print fixpoint information.

Definition at line 76 of file tracer.cpp.

void Gecode::StdIntTracer::fail	(	const Space &	home,
		const IntTraceRecorder &	t
	)			`[virtual]`

Print failure information.

Definition at line 94 of file tracer.cpp.

void Gecode::StdIntTracer::done	(	const Space &	home,
		const IntTraceRecorder &	t
	)			`[virtual]`

Print that trace recorder is done.

Definition at line 112 of file tracer.cpp.

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

Output stream to use.

Definition at line 5134 of file int.hh.

Default tracer (printing to std::cerr).

Definition at line 5150 of file int.hh.

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