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.
Cloning
void	update (Space &, bool share, 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 169 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 174 of file int-noview.hpp.

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

Allocate array with m variables.

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

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

(

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

)

[inline]

Initialize.

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

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

Initialize.

Definition at line 180 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 182 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 188 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 190 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 196 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 202 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 212 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 216 of file int-noview.hpp.

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

Update array to be a clone of array a.

If share is true, sharing is retained for all shared data structures. Otherwise, for each of them an independent copy is created.

Definition at line 230 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 238 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 240 of file int-noview.hpp.

---

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

• gecode/int/linear/int-noview.hpp (Revision: 12417)