Gecode::ViewTracer< View > Class Template Reference
[Tracing constraint propagation]

Tracer that process view trace information. More...

#include <tracer.hpp>

List of all members.

Public Member Functions
	ViewTracer (void)
	Constructor.
virtual void	init (const Space &home, const ViewTraceRecorder< View > &t)=0
	Init function.
virtual void	prune (const Space &home, const ViewTraceRecorder< View > &t, const ViewTraceInfo &vti, int i, typename TraceTraits< View >::TraceDelta &d)=0
	Prune function.
virtual void	fail (const Space &home, const ViewTraceRecorder< View > &t)=0
	Fail function.
virtual void	fix (const Space &home, const ViewTraceRecorder< View > &t)=0
	Fixpoint function.
virtual void	done (const Space &home, const ViewTraceRecorder< View > &t)=0
	Done function.
virtual	~ViewTracer (void)
	Destructor.

---

Detailed Description

template<class View>
class Gecode::ViewTracer< View >

Tracer that process view trace information.

Definition at line 51 of file tracer.hpp.

---

Constructor & Destructor Documentation

template<class View >

Gecode::ViewTracer< View >::ViewTracer

(

void

)

[inline]

Constructor.

Definition at line 252 of file tracer.hpp.

template<class View >

Gecode::ViewTracer< View >::~ViewTracer

(

void

)

[inline, virtual]

Destructor.

Definition at line 295 of file tracer.hpp.

---

Member Function Documentation

template<class View>

virtual void Gecode::ViewTracer< View >::init	(	const Space &	home,
		const ViewTraceRecorder< View > &	t
	)			[pure virtual]

Init function.

The init function is called when the trace collector has been initialized.

template<class View>

virtual void Gecode::ViewTracer< View >::prune	(	const Space &	home,
		const ViewTraceRecorder< View > &	t,
		const ViewTraceInfo &	vti,
		int	i,
		typename TraceTraits< View >::TraceDelta &	d
	)			[pure virtual]

Prune function.

The variable at position i has been modified where the modification is described by d. Additional information about how the variable has been changed is provided by the trace collector t and execution information ei.

template<class View>

virtual void Gecode::ViewTracer< View >::fail	(	const Space &	home,
		const ViewTraceRecorder< View > &	t
	)			[pure virtual]

Fail function.

The fail function is called whenever home containing the trace collector t has been failed.

template<class View>

virtual void Gecode::ViewTracer< View >::fix	(	const Space &	home,
		const ViewTraceRecorder< View > &	t
	)			[pure virtual]

Fixpoint function.

The fixpoint function is called whenever home containing the trace collector t reaches a fixpoint (and fixpoint tracing is enabled).

template<class View>

virtual void Gecode::ViewTracer< View >::done	(	const Space &	home,
		const ViewTraceRecorder< View > &	t
	)			[pure virtual]

Done function.

The done function is called whenever the trace collector t is done and will terminate.

---

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

• gecode/kernel/trace/tracer.hpp