gcc.cc File Reference
(Revision: 6323)
#include "gecode/int/gcc.hh"
#include "gecode/int/distinct.hh"
Go to the source code of this file.
Namespaces | |
namespace | Gecode |
namespace | Gecode::Int |
namespace | Gecode::Int::GCC |
Functions | |
template<class Card, bool isView> | |
bool | Gecode::Int::GCC::check_alldiff (int n, ViewArray< Card > &k) |
Check whether gcc can be rewritten to distinct. | |
template<class View> | |
int | Gecode::Int::GCC::x_card (ViewArray< View > &x, IntConLevel) |
Compute the cardinality of the union of all variable domains in x. | |
template<class Card, bool isView> | |
ExecStatus | Gecode::Int::GCC::card_cons (Space *home, ViewArray< Card > &k, int n) |
Check whether the cardinalities are consistent. | |
template<class Card, bool isView> | |
void | Gecode::Int::GCC::post_template (Space *home, ViewArray< IntView > &x, ViewArray< Card > &k, IntConLevel &icl) |
Template to post the global cardinality constraint for the different interfaces. | |
void | Gecode::count (Space *home, const IntVarArgs &x, const IntVarArgs &c, const IntArgs &v, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Posts a global count (cardinality) constraint. | |
void | Gecode::count (Space *home, const IntVarArgs &x, const IntVarArgs &c, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Posts a global count (cardinality) constraint. | |
void | Gecode::count (Space *home, const IntVarArgs &x, const IntSetArgs &c, const IntArgs &v, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Posts a global count (cardinality) constraint. | |
void | Gecode::count (Space *home, const IntVarArgs &x, const IntSetArgs &c, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Posts a global count (cardinality) constraint. | |
void | Gecode::count (Space *home, const IntVarArgs &x, const IntSet &c, const IntArgs &v, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Posts a global count (cardinality) constraint. | |
Gecode::GECODE_REGISTER3 (Int::GCC::Dom< Gecode::Int::IntView, Gecode::Int::GCC::OccurBndsView, false >) | |
Gecode::GECODE_REGISTER3 (Int::GCC::Dom< Gecode::Int::IntView, Gecode::Int::GCC::CardView, true >) | |
Gecode::GECODE_REGISTER3 (Int::GCC::Val< Gecode::Int::IntView, Gecode::Int::GCC::OccurBndsView, false >) | |
Gecode::GECODE_REGISTER3 (Int::GCC::Val< Gecode::Int::IntView, Gecode::Int::GCC::CardView, true >) | |
Gecode::GECODE_REGISTER4 (Int::GCC::BndImp< Gecode::Int::IntView, Gecode::Int::GCC::OccurBndsView, false, false >) | |
Gecode::GECODE_REGISTER4 (Int::GCC::BndImp< Gecode::Int::IntView, Gecode::Int::GCC::OccurBndsView, false, true >) | |
Gecode::GECODE_REGISTER4 (Int::GCC::BndImp< Gecode::Int::IntView, Gecode::Int::GCC::CardView, true, false >) | |
Gecode::GECODE_REGISTER4 (Int::GCC::BndImp< Gecode::Int::IntView, Gecode::Int::GCC::CardView, true, true >) |