Generated on Thu Oct 26 14:25:59 2006 for Gecode by doxygen 1.4.7

Gecode::Int::GCC::PartialSum< Card > Class Template Reference

List of all members.

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 222 of file gccbndsup.icc.

Constructors and destructors

 PartialSum (int, int, ViewArray< Card > &, bool)
 Default initialization.
 ~PartialSum (void)
 Default destructor.

Access

int sumup (int, int)
 Compute the maximum capacity of an interval I.
int minValue (void)
 Returns the smallest bound of the variables in x.
int maxValue (void)
 Returns the largest bound of the variables in x.
int skipNonNullElementsRight (int)
 Skip neigboured array entries if their values do not differ.
int skipNonNullElementsLeft (int)
 Skip neigboured array entries if their values do not differ.
void * operator new (size_t s)
 Memory allocation for the partial sum structure.
void operator delete (void *p)
 Free memory used by partial sum structure.
void print (void)
 Debugging: print a partial sum structure.
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.
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.
int getsize (void)
 Return the size of the partial sum structure.
int firstValue
 Compute the maximum capacity of an interval I.
int lastValue
 Compute the maximum capacity of an interval I.


Constructor & Destructor Documentation

template<class Card>
Gecode::Int::GCC::PartialSum< Card >::PartialSum ( int  first,
int  count,
ViewArray< Card > &  elements,
bool  up 
) [inline]

Default initialization.

Parameters:
first is the miminum value the variables can take
count is equal to the size $ |k| $, where k denotes the array of cardinalities used in the global cardinality propagator
elements contains the upper and lower cardinalities for every value
up denotes the direction whether we sumup the lower or upper cardinality bounds If up is true we sumup the upper bounds, otherwise the lower bounds.

Definition at line 296 of file gccbndsup.icc.

template<class Card>
Gecode::Int::GCC::PartialSum< Card >::~PartialSum ( void   )  [inline]

Default destructor.

Definition at line 262 of file gccbndsup.icc.


Member Function Documentation

template<class Card>
int Gecode::Int::GCC::PartialSum< Card >::sumup ( int  ,
int   
) [inline]

Compute the maximum capacity of an interval I.

Definition at line 372 of file gccbndsup.icc.

template<class Card>
int Gecode::Int::GCC::PartialSum< Card >::minValue ( void   )  [inline]

Returns the smallest bound of the variables in x.

Definition at line 386 of file gccbndsup.icc.

template<class Card>
int Gecode::Int::GCC::PartialSum< Card >::maxValue ( void   )  [inline]

Returns the largest bound of the variables in x.

Definition at line 397 of file gccbndsup.icc.

template<class Card>
int Gecode::Int::GCC::PartialSum< Card >::skipNonNullElementsRight ( int   )  [inline]

Skip neigboured array entries if their values do not differ.

Definition at line 409 of file gccbndsup.icc.

template<class Card>
int Gecode::Int::GCC::PartialSum< Card >::skipNonNullElementsLeft ( int   )  [inline]

Skip neigboured array entries if their values do not differ.

Definition at line 421 of file gccbndsup.icc.

template<class Card>
void * Gecode::Int::GCC::PartialSum< Card >::operator new ( size_t  s  )  [inline]

Memory allocation for the partial sum structure.

Definition at line 270 of file gccbndsup.icc.

template<class Card>
void Gecode::Int::GCC::PartialSum< Card >::operator delete ( void *  p  )  [inline]

Free memory used by partial sum structure.

Definition at line 278 of file gccbndsup.icc.

template<class Card>
void Gecode::Int::GCC::PartialSum< Card >::print ( void   ) 

Debugging: print a partial sum structure.

Definition at line 429 of file gccbndsup.icc.

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 465 of file gccbndsup.icc.

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 488 of file gccbndsup.icc.

template<class Card>
int Gecode::Int::GCC::PartialSum< Card >::getsize ( void   )  [inline]

Return the size of the partial sum structure.

Definition at line 504 of file gccbndsup.icc.


Member Data Documentation

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

Compute the maximum capacity of an interval I.

Definition at line 243 of file gccbndsup.icc.

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

Compute the maximum capacity of an interval I.

Definition at line 244 of file gccbndsup.icc.


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