Gecode::Tracer< View > Class Template Reference

Tracer that process trace information. More...

#include <tracer.hpp>

Public Member Functions
	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...

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

template<class View>
class Gecode::Tracer< View >

Tracer that process trace information.

Definition at line 55 of file tracer.hpp.

Constructor & Destructor Documentation

Tracer()

template<class View >

Gecode::Tracer< View >::Tracer ( void  )

inline

Constructor.

Definition at line 134 of file tracer.hpp.

~Tracer()

template<class View >

Gecode::Tracer< View >::~Tracer ( void  )

inlinevirtual

Destructor.

Definition at line 168 of file tracer.hpp.

Member Function Documentation

init()

template<class View>

virtual void Gecode::Tracer< View >::init ( const Space &  home, const TraceRecorder< View > &  t  )

pure virtual

Init function.

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

prune()

template<class View>

virtual void Gecode::Tracer< View >::prune ( const Space &  home, const TraceRecorder< View > &  t, const ExecInfo &  ei, 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.

fix()

template<class View>

virtual void Gecode::Tracer< View >::fix ( const Space &  home, const TraceRecorder< 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).

done()

template<class View>

virtual void Gecode::Tracer< View >::done ( const Space &  home, const TraceRecorder< 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/tracer.hpp (Revision: 15094)