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
|
Default initialization.
Definition at line 296 of file gccbndsup.icc. |
|
Default destructor.
Definition at line 262 of file gccbndsup.icc. |
Member Function Documentation
|
Compute the maximum capacity of an interval I.
Definition at line 372 of file gccbndsup.icc. |
|
Returns the smallest bound of the variables in x.
Definition at line 386 of file gccbndsup.icc. |
|
Returns the largest bound of the variables in x.
Definition at line 397 of file gccbndsup.icc. |
|
Skip neigboured array entries if their values do not differ.
Definition at line 409 of file gccbndsup.icc. |
|
Skip neigboured array entries if their values do not differ.
Definition at line 421 of file gccbndsup.icc. |
|
Memory allocation for the partial sum structure.
Definition at line 270 of file gccbndsup.icc. |
|
Free memory used by partial sum structure.
Definition at line 278 of file gccbndsup.icc. |
|
Debugging: print a partial sum structure.
Definition at line 429 of file gccbndsup.icc. |
|
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. |
|
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. |
|
Return the size of the partial sum structure.
Definition at line 504 of file gccbndsup.icc. |
Member Data Documentation
|
Compute the maximum capacity of an interval I.
Definition at line 243 of file gccbndsup.icc. |
|
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:
- gecode/int/gcc/gccbndsup.icc (Revision: 3512)