Gecode::ViewTraceRecorder< View >::Idx Class Reference

Advisor with index information. More...

#include <recorder.hpp>

List of all members.

Public Member Functions
	Idx (Space &home, Propagator &p, Council< Idx > &c, int i)
	Constructor for creation.
	Idx (Space &home, Idx &a)
	Constructor for cloning a.
int	idx (void) const
	Get index of view.
Protected Attributes
int	_idx
	Index information.

---

Detailed Description

template<class View>
class Gecode::ViewTraceRecorder< View >::Idx

Advisor with index information.

Definition at line 88 of file recorder.hpp.

---

Constructor & Destructor Documentation

template<class View >

Gecode::ViewTraceRecorder< View >::Idx::Idx	(	Space &	home,
		Propagator &	p,
		Council< Idx > &	c,
		int	i
	)			[inline]

Constructor for creation.

Definition at line 241 of file recorder.hpp.

template<class View >

Gecode::ViewTraceRecorder< View >::Idx::Idx	(	Space &	home,
		Idx &	a
	)			[inline]

Constructor for cloning a.

Definition at line 246 of file recorder.hpp.

---

Member Function Documentation

template<class View >

int Gecode::ViewTraceRecorder< View >::Idx::idx

(

void

)

const [inline]

Get index of view.

Definition at line 251 of file recorder.hpp.

---

Member Data Documentation

template<class View>

int Gecode::ViewTraceRecorder< View >::Idx::_idx [protected]

Index information.

Definition at line 91 of file recorder.hpp.

---

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

• gecode/kernel/trace/recorder.hpp