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. |