Gecode::Int::GCC::PartialSum< Card > Class Template Reference
[Support for GCC bounds propagation]
Partial sum structure for constant time computation of the maximal capacity of an interval. More...
#include <bnd-sup.hpp>
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. | |
| operator bool (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
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 237 of file bnd-sup.hpp.
Constructor & Destructor Documentation
| Gecode::Int::GCC::PartialSum< Card >::PartialSum | ( | void | ) | [inline] |
Constructor.
Definition at line 294 of file bnd-sup.hpp.
Member Function Documentation
| void Gecode::Int::GCC::PartialSum< Card >::init | ( | Space & | home, | |
| ViewArray< Card > & | k, | |||
| bool | up | |||
| ) | [inline] |
Initialization.
Definition at line 303 of file bnd-sup.hpp.
| void Gecode::Int::GCC::PartialSum< Card >::reinit | ( | void | ) | [inline] |
Mark datstructure as requiring reinitialization.
Definition at line 370 of file bnd-sup.hpp.
| Gecode::Int::GCC::PartialSum< Card >::operator bool | ( | void | ) | const [inline] |
Test whether already initialized.
Definition at line 298 of file bnd-sup.hpp.
| int Gecode::Int::GCC::PartialSum< Card >::sumup | ( | int | from, | |
| int | to | |||
| ) | const [inline] |
Compute the maximum capacity of an interval.
Definition at line 377 of file bnd-sup.hpp.
| int Gecode::Int::GCC::PartialSum< Card >::minValue | ( | void | ) | const [inline] |
Return smallest bound of variables.
Definition at line 391 of file bnd-sup.hpp.
| int Gecode::Int::GCC::PartialSum< Card >::maxValue | ( | void | ) | const [inline] |
Return largest bound of variables.
Definition at line 396 of file bnd-sup.hpp.
| int Gecode::Int::GCC::PartialSum< Card >::skipNonNullElementsRight | ( | int | v | ) | const [inline] |
Skip neigbouring array entries if their values do not differ.
Definition at line 403 of file bnd-sup.hpp.
| int Gecode::Int::GCC::PartialSum< Card >::skipNonNullElementsLeft | ( | int | v | ) | const [inline] |
Skip neigbouring array entries if their values do not differ.
Definition at line 410 of file bnd-sup.hpp.
| 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 432 of file bnd-sup.hpp.
| 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 418 of file bnd-sup.hpp.
Member Data Documentation
| int Gecode::Int::GCC::PartialSum< Card >::firstValue |
Sentinels indicating whether an end of sum is reached.
Definition at line 245 of file bnd-sup.hpp.
| int Gecode::Int::GCC::PartialSum< Card >::lastValue |
Definition at line 245 of file bnd-sup.hpp.
The documentation for this class was generated from the following file:
- gecode/int/gcc/bnd-sup.hpp