Gecode::ViewArray< Int::Linear::NoView > Class Template Reference

View array for no view (empty). More...

#include <int-noview.hpp>

List of all members.

Constructors and initialization
	ViewArray (void)
	Default constructor (array of size 0).
	ViewArray (Space &home, int m)
	Allocate array with m variables.
	ViewArray (const ViewArray< Int::Linear::NoView > &)
	Initialize.
	ViewArray (Space &, const ViewArray< Int::Linear::NoView > &)
	Initialize.
const ViewArray < Int::Linear::NoView > &	operator= (const ViewArray< Int::Linear::NoView > &)
	Initialize.
Array size
int	size (void) const
	Return size of array (number of elements).
void	size (int n)
	Decrease size of array (number of elements).
Array elements
Int::Linear::NoView	operator[] (int i)
	Return view at position i.
const Int::Linear::NoView	operator[] (int i) const
	Return view at position i.
Dependencies
void	subscribe (Space &, Propagator &p, PropCond pc, bool process=true)
	Subscribe propagator p with propagation condition pc to all views.
void	cancel (Space &home, Propagator &p, PropCond pc)
	Cancel subscription of propagator p with propagation condition pc to all views.
void	reschedule (Space &home, Propagator &p, PropCond pc)
	Schedule propagator p.
Cloning
void	update (Space &home, ViewArray< Int::Linear::NoView > &a)
	Update array to be a clone of array a.
Moving elements
void	move_fst (int i)
	Move assigned view from position 0 to position i (shift elements to the left).
void	move_lst (int i)
	Move assigned view from position size()-1 to position i (truncate array by one).

---

Detailed Description

template<>
class Gecode::ViewArray< Int::Linear::NoView >

View array for no view (empty).

Definition at line 165 of file int-noview.hpp.

---

Constructor & Destructor Documentation

Gecode::ViewArray< Int::Linear::NoView >::ViewArray

(

void

)

[inline]

Default constructor (array of size 0).

Definition at line 170 of file int-noview.hpp.

Gecode::ViewArray< Int::Linear::NoView >::ViewArray	(	Space &	home,
		int	m
	)			[inline]

Allocate array with m variables.

Definition at line 172 of file int-noview.hpp.

Gecode::ViewArray< Int::Linear::NoView >::ViewArray

(

const ViewArray< Int::Linear::NoView > &

)

[inline]

Initialize.

Definition at line 174 of file int-noview.hpp.

Gecode::ViewArray< Int::Linear::NoView >::ViewArray	(	Space &	,
		const ViewArray< Int::Linear::NoView > &
	)			[inline]

Initialize.

Definition at line 176 of file int-noview.hpp.

---

Member Function Documentation

const ViewArray<Int::Linear::NoView>& Gecode::ViewArray< Int::Linear::NoView >::operator=

(

const ViewArray< Int::Linear::NoView > &

)

[inline]

Initialize.

Definition at line 178 of file int-noview.hpp.

int Gecode::ViewArray< Int::Linear::NoView >::size

(

void

)

const [inline]

Return size of array (number of elements).

Definition at line 184 of file int-noview.hpp.

void Gecode::ViewArray< Int::Linear::NoView >::size

(

int

n

)

[inline]

Decrease size of array (number of elements).

Definition at line 186 of file int-noview.hpp.

Int::Linear::NoView Gecode::ViewArray< Int::Linear::NoView >::operator[]

(

int

i

)

[inline]

Return view at position i.

Definition at line 192 of file int-noview.hpp.

const Int::Linear::NoView Gecode::ViewArray< Int::Linear::NoView >::operator[]

(

int

i

)

const [inline]

Return view at position i.

Definition at line 198 of file int-noview.hpp.

void Gecode::ViewArray< Int::Linear::NoView >::subscribe	(	Space &	,
		Propagator &	p,
		PropCond	pc,
		bool	process = true
	)			[inline]

Subscribe propagator p with propagation condition pc to all views.

Definition at line 208 of file int-noview.hpp.

void Gecode::ViewArray< Int::Linear::NoView >::cancel	(	Space &	home,
		Propagator &	p,
		PropCond	pc
	)			[inline]

Cancel subscription of propagator p with propagation condition pc to all views.

Definition at line 212 of file int-noview.hpp.

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

Schedule propagator p.

Definition at line 216 of file int-noview.hpp.

void Gecode::ViewArray< Int::Linear::NoView >::update	(	Space &	home,
		ViewArray< Int::Linear::NoView > &	a
	)			[inline]

Update array to be a clone of array a.

Definition at line 224 of file int-noview.hpp.

void Gecode::ViewArray< Int::Linear::NoView >::move_fst

(

int

i

)

[inline]

Move assigned view from position 0 to position i (shift elements to the left).

Definition at line 232 of file int-noview.hpp.

void Gecode::ViewArray< Int::Linear::NoView >::move_lst

(

int

i

)

[inline]

Move assigned view from position size()-1 to position i (truncate array by one).

Definition at line 234 of file int-noview.hpp.

---

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

• gecode/int/linear/int-noview.hpp