gcc.cpp File Reference

(Revision: 8279)

#include <gecode/int/gcc.hh>
#include <gecode/int/distinct.hh>

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace.
namespace	Gecode::Int
	Finite domain integers.
namespace	Gecode::Int::GCC
	Global cardinality propagators.
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 >
unsigned int	Gecode::Int::GCC::x_card (Space &home, ViewArray< View > &x)
	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)
	Posts a global count (cardinality) constraint.
void	Gecode::count (Space &home, const IntVarArgs &x, const IntVarArgs &c, IntConLevel icl=ICL_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)
	Posts a global count (cardinality) constraint.
void	Gecode::count (Space &home, const IntVarArgs &x, const IntSetArgs &c, IntConLevel icl=ICL_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)
	Posts a global count (cardinality) constraint.