Generated on Sat Oct 20 2018 12:43:45 for Gecode by doxygen 1.8.13

Functions

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

Detailed Description

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

Function Documentation

◆ channel()

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.

Definition at line 2018 of file minimodel.hh.

◆ range()

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

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

Definition at line 2026 of file minimodel.hh.

◆ roots()

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.

Definition at line 2036 of file minimodel.hh.