Gecode::Int::GCC::PartialSum< Card > Class Template Reference
Other available functionality » Integer propagators » 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

## PartialSum()

template<class Card>

Gecode::Int::GCC::PartialSum< Card >::PartialSum | ( | void |  | ) |

inline

Constructor.

Definition at line 294 of file bnd-sup.hpp.

## Member Function Documentation

## init()

template<class Card>

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.

## reinit()

template<class Card>

void Gecode::Int::GCC::PartialSum< Card >::reinit | ( | void |  | ) |

inline

Mark datstructure as requiring reinitialization.

Definition at line 370 of file bnd-sup.hpp.

## operator bool()

template<class Card>

Gecode::Int::GCC::PartialSum< Card >::operator bool | ( | void |  | ) | const

inline

Test whether already initialized.

Definition at line 298 of file bnd-sup.hpp.

## sumup()

template<class Card>

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.

## minValue()

template<class Card>

int Gecode::Int::GCC::PartialSum< Card >::minValue | ( | void |  | ) | const

inline

Return smallest bound of variables.

Definition at line 391 of file bnd-sup.hpp.

## maxValue()

template<class Card>

int Gecode::Int::GCC::PartialSum< Card >::maxValue | ( | void |  | ) | const

inline

Return largest bound of variables.

Definition at line 396 of file bnd-sup.hpp.

## skipNonNullElementsRight()

template<class Card>

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.

## skipNonNullElementsLeft()

template<class Card>

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.

## check_update_min()

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 432 of file bnd-sup.hpp.

## check_update_max()

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 418 of file bnd-sup.hpp.

## Member Data Documentation

## firstValue

template<class Card>

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.

## lastValue

template<class Card>

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