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

An array of IdxView pairs. More...

#include <idx-view.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	reschedule (Space &home, Propagator &p, PropCond pc)
	Schedule propagator p.
void	update (Space &home, IdxViewArray< View > &x)
	Cloning.
Related Functions
(Note that these are not member functions.)
template<class Char , class Traits , class View >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const IdxViewArray< View > &x)
	Print array elements enclosed in curly brackets.

---

Detailed Description

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

An array of IdxView pairs.

Definition at line 67 of file idx-view.hh.

---

Constructor & Destructor Documentation

template<class View >

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

(

void

)

[inline]

Default constructor.

Definition at line 73 of file idx-view.hpp.

template<class View>

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

(

const IdxViewArray< View > &

a

)

[inline]

Copy constructor.

Definition at line 77 of file idx-view.hpp.

template<class View>

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

Construct an IdxViewArray from x.

Definition at line 83 of file idx-view.hpp.

template<class View>

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

Construct an IdxViewArray of size n.

Definition at line 96 of file idx-view.hpp.

---

Member Function Documentation

template<class View >

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

(

void

)

const [inline]

Return the current size.

Definition at line 105 of file idx-view.hpp.

template<class View >

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

(

int

n

)

[inline]

Set the size to n.

Definition at line 111 of file idx-view.hpp.

template<class View >

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

(

int

n

)

[inline]

Access element n.

Definition at line 117 of file idx-view.hpp.

template<class View >

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

(

int

i

)

const [inline]

Access element n.

Definition at line 124 of file idx-view.hpp.

template<class View >

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

template<class View >

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

template<class View >

void Gecode::Int::IdxViewArray< View >::reschedule	(	Space &	home,
		Propagator &	p,
		PropCond	pc
	)			[inline]

Schedule propagator p.

Definition at line 146 of file idx-view.hpp.

template<class View>

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

Cloning.

Definition at line 153 of file idx-view.hpp.

---

Friends And Related Function Documentation

template<class Char , class Traits , class View >

std::basic_ostream< Char, Traits > & operator<<	(	std::basic_ostream< Char, Traits > &	os,
		const IdxViewArray< View > &	x
	)			[related]

Print array elements enclosed in curly brackets.

Definition at line 167 of file idx-view.hpp.

---

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

• gecode/int/idx-view.hh
• gecode/int/idx-view.hpp