bnd.icc File Reference
(Revision: 3512)
Go to the source code of this file.
Namespaces | |
| namespace | Gecode |
| namespace | Gecode::Int |
| namespace | Gecode::Int::GCC |
Classes | |
| class | Gecode::Int::GCC::SharingTest< View1, View2 > |
| Sharing test for the bounds-consistent global cardinality propagator. More... | |
| class | Gecode::Int::GCC::SharingTest< IntView, OccurBndsView > |
| Specialization of class SharingTest for the case of fixed cardinalities using IntView as View1 and OccurBndsView as View2. More... | |
Functions | |
| template<class View, class Card, bool isView, bool shared> | |
| ExecStatus | Gecode::Int::GCC::prop_bnd (Space *home, ViewArray< View > &x, ViewArray< Card > &k, PartialSum< Card > *&lps, PartialSum< Card > *&ups, bool card_fixed, bool card_all, bool nolbc) |
| Performs bounds-consistent global cardinality propagation. | |