Gecode::Set::Element::IdxViewArray< View > Class Template Reference

#include <idxarray.hh>

List of all members.

---

Detailed Description

template<class View>
class Gecode::Set::Element::IdxViewArray< View >

An array of IndexView pairs.

Definition at line 62 of file idxarray.hh.

Public Member Functions
	IdxViewArray (void)
	Default constructor.
	IdxViewArray (const IdxViewArray< View > &)
	Copy constructor.
	IdxViewArray (Space *home, const Reflection::VarMap &vars, Reflection::Arg *spec)
	Initialize from specification spec with variables vars.
	IdxViewArray (Space *home, const SetVarArgs &x)
	Construct an IdxViewArray from x.
int	size (void) const
	Return the current size.
void	size (int n)
	Set the size to n.
IdxView< View > &	operator[] (int n)
	Access element n.
const IdxView< View > &	operator[] (int) const
	Access element n.
void	subscribe (Space *home, Propagator *p, PropCond pc, bool process=true)
void	cancel (Space *home, Propagator *p, PropCond pc)
void	update (Space *home, bool share, IdxViewArray< View > &x)
	Cloning.
Reflection::Arg *	spec (const Space *home, Reflection::VarMap &m) const

---

Constructor & Destructor Documentation

template<class View>

Gecode::Set::Element::IdxViewArray< View >::IdxViewArray

(

void

)

[inline]

Default constructor.

Definition at line 49 of file idxarray.icc.

template<class View>

Gecode::Set::Element::IdxViewArray< View >::IdxViewArray

(

const IdxViewArray< View > &

a

)

[inline]

Copy constructor.

Definition at line 52 of file idxarray.icc.

template<class View>

Gecode::Set::Element::IdxViewArray< View >::IdxViewArray	(	Space *	home,
		const Reflection::VarMap &	vars,
		Reflection::Arg *	spec
	)			[inline]

Initialize from specification spec with variables vars.

Definition at line 137 of file idxarray.icc.

template<class View>

Gecode::Set::Element::IdxViewArray< View >::IdxViewArray	(	Space *	home,
		const SetVarArgs &	x
	)			[inline]

Construct an IdxViewArray from x.

Definition at line 57 of file idxarray.icc.

---

Member Function Documentation

template<class View>

int Gecode::Set::Element::IdxViewArray< View >::size

(

void

)

const [inline]

Return the current size.

Definition at line 72 of file idxarray.icc.

template<class View>

void Gecode::Set::Element::IdxViewArray< View >::size

(

int

n

)

[inline]

Set the size to n.

Definition at line 78 of file idxarray.icc.

template<class View>

IdxView< View > & Gecode::Set::Element::IdxViewArray< View >::operator[]

(

int

n

)

[inline]

Access element n.

Definition at line 84 of file idxarray.icc.

template<class View>

const IdxView< View > & Gecode::Set::Element::IdxViewArray< View >::operator[]

(

int

i

)

const [inline]

Access element n.

Definition at line 91 of file idxarray.icc.

template<class View>

void Gecode::Set::Element::IdxViewArray< View >::subscribe	(	Space *	home,
		Propagator *	p,
		PropCond	pc,
		bool	process = true
	)			[inline]

Subscribe propagator p with propagation condition pc to all elements of the array.

Definition at line 98 of file idxarray.icc.

template<class View>

void Gecode::Set::Element::IdxViewArray< View >::cancel	(	Space *	home,
		Propagator *	p,
		PropCond	pc
	)			[inline]

Cancel subscription of propagator p with propagation condition pc for all elements of the array.

Definition at line 106 of file idxarray.icc.

template<class View>

void Gecode::Set::Element::IdxViewArray< View >::update	(	Space *	home,
		bool	share,
		IdxViewArray< View > &	x
	)			[inline]

Cloning.

Definition at line 113 of file idxarray.icc.

template<class View>

Reflection::Arg * Gecode::Set::Element::IdxViewArray< View >::spec	(	const Space *	home,
		Reflection::VarMap &	m
	)			const [inline]

Definition at line 126 of file idxarray.icc.

---

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

• gecode/set/element/idxarray.hh (Revision: 6982)
• gecode/set/element/idxarray.icc (Revision: 6982)