ubc.hpp File Reference

(Revision: 7678)

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 View , class Card , bool shared>

ExecStatus Gecode::Int::GCC::ubc (Space &home, ViewArray< View > &x, int &nb, HallInfo hall[], Rank rank[], PartialSum< Card > *ups, int mu[], int nu[])

Upper Bounds constraint (UBC) stating $\forall j \in \{0, \dots, |k|-1\}: \#\{i\in\{0, \dots, |x| - 1\} | x_i = card(k_j)\} \leq max(k_j)$ Hence the ubc constraints the variables such that no value occurs more often than specified by its upper cardinality bound.


Namespaces
namespace	Gecode
	Gecode toplevel namespace.
namespace	Gecode::Int
	Finite domain integers.
namespace	Gecode::Int::GCC
	Global cardinality propagators.
Functions
template<class View , class Card , bool shared>
ExecStatus	Gecode::Int::GCC::ubc (Space &home, ViewArray< View > &x, int &nb, HallInfo hall[], Rank rank[], PartialSum< Card > *ups, int mu[], int nu[])
	Upper Bounds constraint (UBC) stating $\forall j \in \{0, \dots, \|k\|-1\}: \#\{i\in\{0, \dots, \|x\| - 1\} \| x_i = card(k_j)\} \leq max(k_j)$ Hence the ubc constraints the variables such that no value occurs more often than specified by its upper cardinality bound.