Generated on Thu Jul 6 07:07:02 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 232 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 306 of file gccbndsup.icc.

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

Default destructor.

Definition at line 272 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 382 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 396 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 407 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 419 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 431 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 280 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 288 of file gccbndsup.icc.

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

Debugging: print a partial sum structure.

Definition at line 439 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 475 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 498 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 514 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 253 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 254 of file gccbndsup.icc.


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