Generated on Wed Nov 1 15:04:49 2006 for Gecode by doxygen 1.4.5

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.