Gecode::Set::Int Namespace Reference
Detailed Description
Propagators connecting set and int variables.
Classes | |
| class | IntLt |
| Sort order for integers. More... | |
| class | OverweightValues |
| Value Iterator for values above a certain weight. 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 | Channel |
| Propagator for channelling between variable-value-dual models 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 (Support::SharedArray< int > &elements, Support::SharedArray< int > &weights, I &iter) |
Enumeration Type Documentation
|
|
Definition at line 57 of file weights.cc. |
Function Documentation
|
||||||||||||||||||||
|
Definition at line 61 of file weights.cc. |