Gecode::Int::GCC::PartialSum< Card > Class Template Reference
[Support for GCC bounds propagation]

Partial sum structure for constant time computation of the maximal capacity of an interval. More...

#include <bnd-sup.hpp>

List of all members.

Public Attributes
int	firstValue
	Sentinels indicating whether an end of sum is reached.
int	lastValue
Initialization
	PartialSum (void)
	Constructor.
void	init (Space &home, ViewArray< Card > &k, bool up)
	Initialization.
void	reinit (void)
	Mark datstructure as requiring reinitialization.
bool	initialized (void) const
	Test whether already initialized.
Access
int	sumup (int from, int to) const
	Compute the maximum capacity of an interval.
int	minValue (void) const
	Return smallest bound of variables.
int	maxValue (void) const
	Return largest bound of variables.
int	skipNonNullElementsRight (int v) const
	Skip neigbouring array entries if their values do not differ.
int	skipNonNullElementsLeft (int v) const
	Skip neigbouring array entries if their values do not differ.
Update
bool	check_update_min (ViewArray< Card > &k)
	Check whether the values in the partial sum structure containting the lower cardinality bounds differ from the actual lower bounds of the cardinalities.
bool	check_update_max (ViewArray< Card > &k)
	Check whether the values in the partial sum structure containting the upper cardinality bounds differ from the actual upper bounds of the cardinalities.

---

Detailed Description

template<class Card>
class Gecode::Int::GCC::PartialSum< Card >

Partial sum structure for constant time computation of the maximal capacity of an interval.

Definition at line 241 of file bnd-sup.hpp.

---

Constructor & Destructor Documentation

template<class Card >

Gecode::Int::GCC::PartialSum< Card >::PartialSum

(

void

)

[inline]

Constructor.

Definition at line 298 of file bnd-sup.hpp.

---

Member Function Documentation

template<class Card >

void Gecode::Int::GCC::PartialSum< Card >::init	(	Space &	home,
		ViewArray< Card > &	k,
		bool	up
	)			[inline]

Initialization.

Definition at line 307 of file bnd-sup.hpp.

template<class Card >

void Gecode::Int::GCC::PartialSum< Card >::reinit

(

void

)

[inline]

Mark datstructure as requiring reinitialization.

Definition at line 374 of file bnd-sup.hpp.

template<class Card >

bool Gecode::Int::GCC::PartialSum< Card >::initialized

(

void

)

const [inline]

Test whether already initialized.

Definition at line 302 of file bnd-sup.hpp.

template<class Card >

int Gecode::Int::GCC::PartialSum< Card >::sumup	(	int	from,
		int	to
	)			const [inline]

Compute the maximum capacity of an interval.

Definition at line 381 of file bnd-sup.hpp.

template<class Card >

int Gecode::Int::GCC::PartialSum< Card >::minValue

(

void

)

const [inline]

Return smallest bound of variables.

Definition at line 395 of file bnd-sup.hpp.

template<class Card >

int Gecode::Int::GCC::PartialSum< Card >::maxValue

(

void

)

const [inline]

Return largest bound of variables.

Definition at line 400 of file bnd-sup.hpp.

template<class Card >

int Gecode::Int::GCC::PartialSum< Card >::skipNonNullElementsRight

(

int

v

)

const [inline]

Skip neigbouring array entries if their values do not differ.

Definition at line 407 of file bnd-sup.hpp.

template<class Card >

int Gecode::Int::GCC::PartialSum< Card >::skipNonNullElementsLeft

(

int

v

)

const [inline]

Skip neigbouring array entries if their values do not differ.

Definition at line 414 of file bnd-sup.hpp.

template<class Card >

bool Gecode::Int::GCC::PartialSum< Card >::check_update_min

(

ViewArray< Card > &

k

)

[inline]

Check whether the values in the partial sum structure containting the lower cardinality bounds differ from the actual lower bounds of the cardinalities.

Definition at line 436 of file bnd-sup.hpp.

template<class Card >

bool Gecode::Int::GCC::PartialSum< Card >::check_update_max

(

ViewArray< Card > &

k

)

[inline]

Check whether the values in the partial sum structure containting the upper cardinality bounds differ from the actual upper bounds of the cardinalities.

Definition at line 422 of file bnd-sup.hpp.

---

Member Data Documentation

template<class Card >

int Gecode::Int::GCC::PartialSum< Card >::firstValue

Sentinels indicating whether an end of sum is reached.

Definition at line 249 of file bnd-sup.hpp.

template<class Card >

int Gecode::Int::GCC::PartialSum< Card >::lastValue

Definition at line 249 of file bnd-sup.hpp.

---

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

• gecode/int/gcc/bnd-sup.hpp (Revision: 10684)