ubc.icc File Reference

(Revision: 3512)

Go to the source code of this file.

Namespaces

namespace Gecode

namespace Gecode::Int

namespace Gecode::Int::GCC

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
namespace	Gecode::Int
namespace	Gecode::Int::GCC
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.