Propagators connecting set and int variables. More...
Classes | |
class | Card |
Propagator for cardinality More... | |
class | IntLess |
Sort order for integers. More... | |
class | MaxElement |
Propagator for maximum element More... | |
class | MinElement |
Propagator for minimum element More... | |
class | NotMaxElement |
Propagator for not maximum element More... | |
class | NotMinElement |
Propagator for not minimum element More... | |
class | OverweightValues |
Value Iterator for values above a certain weight. More... | |
class | ReMaxElement |
Reified propagator for maximum element More... | |
class | ReMinElement |
Propagator for reified minimum element More... | |
class | Weights |
Propagator for weight of a set More... | |
Functions | |
template<class I > | |
int | weightI (SharedArray< int > &elements, SharedArray< int > &weights, I &iter) |
Compute the weight of the elements in the iterator I. More... | |
Propagators connecting set and int variables.
|
inline |
Compute the weight of the elements in the iterator I.
Definition at line 216 of file weights.hpp.