Gecode::Set::Int Namespace Reference
Detailed Description
Propagators connecting set and int variables.
Classes | |
class | OverweightValues |
Value Iterator for values above a certain weight. More... | |
class | IntLt |
Sort order for integers. More... | |
class | MinElement |
Propator for minimum element More... | |
class | MaxElement |
Propator for maximum element More... | |
class | Card |
Propagator for cardinality More... | |
class | Match |
Propagator for the match constraint More... | |
class | ChannelInt |
Propagator for channelling between variable-value-dual models More... | |
class | ChannelBool |
Propagator for channelling between set variable and its characteristic function More... | |
class | Weights |
Propagator for weight of a set More... | |
Enumerations | |
enum | CostType { POS_COST, NEG_COST, ALL_COST } |
Functions | |
template<class I, CostType c> | |
int | weightI (SharedArray< int > &elements, SharedArray< int > &weights, I &iter) |
Enumeration Type Documentation
Function Documentation
template<class I, CostType c>
int Gecode::Set::Int::weightI | ( | SharedArray< int > & | elements, | |
SharedArray< int > & | weights, | |||
I & | iter | |||
) | [inline] |
Definition at line 215 of file weights.icc.