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

An array of IndexView pairs. More...

#include <element.hh>

List of all members.

Public Member Functions
	IdxViewArray (void)
	Default constructor.
	IdxViewArray (const IdxViewArray< View > &)
	Copy constructor.
	IdxViewArray (Space &home, const typename ViewToVarArg< View >::argtype &x)
	Construct an IdxViewArray from x.
	IdxViewArray (Space &home, int n)
	Construct an IdxViewArray of size n.
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.

---

Detailed Description

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

An array of IndexView pairs.

Definition at line 214 of file element.hh.

---

Constructor & Destructor Documentation

template<class View >

Gecode::Int::Element::IdxViewArray< View >::IdxViewArray

(

void

)

[inline]

Default constructor.

Definition at line 78 of file view.hpp.

template<class View>

Gecode::Int::Element::IdxViewArray< View >::IdxViewArray

(

const IdxViewArray< View > &

a

)

[inline]

Copy constructor.

Definition at line 81 of file view.hpp.

template<class View>

Gecode::Int::Element::IdxViewArray< View >::IdxViewArray	(	Space &	home,
		const typename ViewToVarArg< View >::argtype &	x
	)			[inline]

Construct an IdxViewArray from x.

Definition at line 86 of file view.hpp.

template<class View>

Gecode::Int::Element::IdxViewArray< View >::IdxViewArray	(	Space &	home,
		int	n
	)			[inline]

Construct an IdxViewArray of size n.

Definition at line 98 of file view.hpp.

---

Member Function Documentation

template<class View >

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

(

void

)

const [inline]

Return the current size.

Definition at line 107 of file view.hpp.

template<class View >

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

(

int

n

)

[inline]

Set the size to n.

Definition at line 113 of file view.hpp.

template<class View >

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

(

int

n

)

[inline]

Access element n.

Definition at line 119 of file view.hpp.

template<class View >

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

(

int

i

)

const [inline]

Access element n.

Definition at line 126 of file view.hpp.

template<class View >

void Gecode::Int::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 133 of file view.hpp.

template<class View >

void Gecode::Int::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 141 of file view.hpp.

template<class View>

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

Cloning.

Definition at line 148 of file view.hpp.

---

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

• gecode/int/element.hh (Revision: 10846)
• gecode/int/element/view.hpp (Revision: 12253)