
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. More... | |
| int | lastValue |
Initialization | |
| PartialSum (void) | |
| Constructor. More... | |
| void | init (Space &home, ViewArray< Card > &k, bool up) |
| Initialization. More... | |
| void | reinit (void) |
| Mark datstructure as requiring reinitialization. More... | |
| bool | initialized (void) const |
| Test whether already initialized. More... | |
Access | |
| int | sumup (int from, int to) const |
| Compute the maximum capacity of an interval. More... | |
| int | minValue (void) const |
| Return smallest bound of variables. More... | |
| int | maxValue (void) const |
| Return largest bound of variables. More... | |
| int | skipNonNullElementsRight (int v) const |
| Skip neigbouring array entries if their values do not differ. More... | |
| int | skipNonNullElementsLeft (int v) const |
| Skip neigbouring array entries if their values do not differ. More... | |
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. More... | |
| 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. More... | |
Partial sum structure for constant time computation of the maximal capacity of an interval.
Definition at line 241 of file bnd-sup.hpp.
|
inline |
Constructor.
Definition at line 298 of file bnd-sup.hpp.
|
inline |
Initialization.
Definition at line 307 of file bnd-sup.hpp.
|
inline |
Mark datstructure as requiring reinitialization.
Definition at line 374 of file bnd-sup.hpp.
|
inline |
Test whether already initialized.
Definition at line 302 of file bnd-sup.hpp.
|
inline |
Compute the maximum capacity of an interval.
Definition at line 381 of file bnd-sup.hpp.
|
inline |
Return smallest bound of variables.
Definition at line 395 of file bnd-sup.hpp.
|
inline |
Return largest bound of variables.
Definition at line 400 of file bnd-sup.hpp.
|
inline |
Skip neigbouring array entries if their values do not differ.
Definition at line 407 of file bnd-sup.hpp.
|
inline |
Skip neigbouring array entries if their values do not differ.
Definition at line 414 of file bnd-sup.hpp.
|
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 436 of file bnd-sup.hpp.
|
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 422 of file bnd-sup.hpp.
| int Gecode::Int::GCC::PartialSum< Card >::firstValue |
Sentinels indicating whether an end of sum is reached.
Definition at line 249 of file bnd-sup.hpp.
| int Gecode::Int::GCC::PartialSum< Card >::lastValue |
Definition at line 249 of file bnd-sup.hpp.