Generated on Sun Feb 17 15:24:49 2019 for Gecode by doxygen 1.6.3

Aliases for set constraints
[Direct modeling support]

Functions

void Gecode::channel (Home home, const IntVarArgs &x, SetVar y)
 Post constraint $\{x_0,\dots,x_{n-1}\}=y$.
void Gecode::range (Home home, const IntVarArgs &x, SetVar y, SetVar z)
 Post constraint $\bigcup_{i\in y}\{x_i\}=z$.
void Gecode::roots (Home home, const IntVarArgs &x, SetVar y, SetVar z)
 Post constraint $\bigcup_{i\in z}\{j\ |\ x_j=i\}=z$.

Detailed Description

Contains definitions of common constraints which have different names in Gecode.

Function Documentation

void Gecode::channel ( Home  home,
const IntVarArgs &  x,
SetVar  y 
) [inline]

Post constraint $\{x_0,\dots,x_{n-1}\}=y$.

In addition to constraining y to the union of the x, this also posts an nvalue constraint for additional cardinality propagation.

void Gecode::range ( Home  home,
const IntVarArgs &  x,
SetVar  y,
SetVar  z 
) [inline]

Post constraint $\bigcup_{i\in y}\{x_i\}=z$.

void Gecode::roots ( Home  home,
const IntVarArgs &  x,
SetVar  y,
SetVar  z 
) [inline]

Post constraint $\bigcup_{i\in z}\{j\ |\ x_j=i\}=z$.

Note that this creates one temporary set variable for each element in the upper bound of z, so make sure that the bound is tight.