Generated on Tue Apr 18 10:22:48 2017 for Gecode by doxygen 1.6.3

Sequence constraints
[Using integer variables and constraints]

Functions

void Gecode::sequence (Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntPropLevel ipl=IPL_DEF)
 Post propagator for $\operatorname{sequence}(x,s,q,l,u)$.
void Gecode::sequence (Home home, const BoolVarArgs &x, const IntSet &s, int q, int l, int u, IntPropLevel ipl=IPL_DEF)
 Post propagator for $\operatorname{sequence}(x,s,q,l,u)$.

Function Documentation

void Gecode::sequence ( Home  home,
const IntVarArgs &  x,
const IntSet &  s,
int  q,
int  l,
int  u,
IntPropLevel  ipl = IPL_DEF 
)

Post propagator for $\operatorname{sequence}(x,s,q,l,u)$.

Posts a domain consistent propagator for the constraint $\bigwedge_{i=0}^{|x|-q} \operatorname{among}(\langle x_i,\ldots,x_{i+q-1}\rangle,s,l,u)$ where the among constraint is defined as $l\leq\#\{j\in\{i,\ldots,i+q-1\}\;|\;x_j\in s\} \leq u$.

Throws the following exceptions:

void Gecode::sequence ( Home  home,
const BoolVarArgs &  x,
const IntSet &  s,
int  q,
int  l,
int  u,
IntPropLevel  ipl = IPL_DEF 
)

Post propagator for $\operatorname{sequence}(x,s,q,l,u)$.

Posts a domain consistent propagator for the constraint $\bigwedge_{i=0}^{|x|-q} \operatorname{among}(\langle x_i,\ldots,x_{i+q-1}\rangle,s,l,u)$ where the among constraint is defined as $l\leq\#\{j\in\{i,\ldots,i+q-1\}\;|\;x_j\in s\} \leq u$.

Throws the following exceptions: