Generated on Sat Aug 25 2012 15:53:12 for Gecode by doxygen 1.7.5
Gecode::Int::GCC::PartialSum Class Reference

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

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


Constructor & Destructor Documentation

Gecode::Int::GCC::PartialSum::PartialSum ( void  ) [inline]

Constructor.

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


Member Function Documentation

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

Initialization.

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

void Gecode::Int::GCC::PartialSum::reinit ( void  ) [inline]

Mark datstructure as requiring reinitialization.

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

bool Gecode::Int::GCC::PartialSum::initialized ( void  ) const [inline]

Test whether already initialized.

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

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

Compute the maximum capacity of an interval.

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

int Gecode::Int::GCC::PartialSum::minValue ( void  ) const [inline]

Return smallest bound of variables.

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

int Gecode::Int::GCC::PartialSum::maxValue ( void  ) const [inline]

Return largest bound of variables.

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

int Gecode::Int::GCC::PartialSum::skipNonNullElementsRight ( int  v) const [inline]

Skip neigbouring array entries if their values do not differ.

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

int Gecode::Int::GCC::PartialSum::skipNonNullElementsLeft ( int  v) const [inline]

Skip neigbouring array entries if their values do not differ.

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

bool Gecode::Int::GCC::PartialSum::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.

bool Gecode::Int::GCC::PartialSum::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

Sentinels indicating whether an end of sum is reached.

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

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


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