gcc.hh File Reference
(Revision: 2696)
#include "int.hh"
#include "int/gcc/ubc.icc"
#include "int/gcc/lbc.icc"
#include "int/gcc/val.icc"
#include "int/gcc/bnd.icc"
#include "int/gcc/dom.icc"
Go to the source code of this file.
Namespaces | |
namespace | Gecode::Int::GCC |
namespace | Gecode |
namespace | Gecode::Int |
Classes | |
class | Gecode::Int::GCC::Bnd< View, Card, isView > |
Bounds-consistent global cardinality propagator. More... | |
class | Gecode::Int::GCC::BndImp< View, Card, isView, shared > |
Implementation of bounds-consistent global cardinality propagator. More... | |
class | Gecode::Int::GCC::Dom< View, Card, isView > |
Domain-consistent global cardinality propagator. More... | |
class | Gecode::Int::GCC::Val< View, Card, isView > |
Value consistent global cardinality propagator. More... | |
Typedefs | |
typedef Gecode::Int::GCC::OccurArray< Gecode::Int::GCC::OccurBnds< int, 2 > > | FixCard |
Type definition for an array with fixed cardinalities. | |
typedef Gecode::Int::GCC::CardArray< Gecode::Int::GCC::CardView > | VarCard |
Type definition for an arry of variable cardinalities. | |
typedef Gecode::ViewArray< Gecode::Int::GCC::IdxView > | GccIdxView |
Type definition for indexed integer variables needed during propagation. | |
Functions | |
template<class View, class Card, bool shared, bool isView> | |
ExecStatus | Gecode::Int::GCC::prop_bnd (Space *home, ViewArray< View > &x, Card &k, PartialSum< Card > *lps, PartialSum< Card > *ups) |
template<class View, class Card, bool isView> | |
ExecStatus | Gecode::Int::GCC::prop_val (Space *home, ViewArray< View > &x, Card &k) |
Typedef Documentation
|
Type definition for an array with fixed cardinalities.
|
|
Type definition for an arry of variable cardinalities.
|
|
Type definition for indexed integer variables needed during propagation.
|