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