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
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 , 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.
Gecode::Int::GCC::PartialSum< Card >::~PartialSum | ( | void | ) | [inline] |
Member Function Documentation
int Gecode::Int::GCC::PartialSum< Card >::sumup | ( | int | , | |
int | ||||
) | [inline] |
int Gecode::Int::GCC::PartialSum< Card >::minValue | ( | void | ) | [inline] |
int Gecode::Int::GCC::PartialSum< Card >::maxValue | ( | void | ) | [inline] |
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.
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.
void * Gecode::Int::GCC::PartialSum< Card >::operator new | ( | size_t | s | ) | [inline] |
void Gecode::Int::GCC::PartialSum< Card >::operator delete | ( | void * | p | ) | [inline] |
void Gecode::Int::GCC::PartialSum< Card >::print | ( | void | ) |
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.
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.
int Gecode::Int::GCC::PartialSum< Card >::getsize | ( | void | ) | [inline] |
Member Data Documentation
int Gecode::Int::GCC::PartialSum< Card >::firstValue |
int Gecode::Int::GCC::PartialSum< Card >::lastValue |
The documentation for this class was generated from the following file:
- gecode/int/gcc/gccbndsup.icc (Revision: 3512)