Generated on Sat Feb 7 2015 02:01:36 for Gecode by doxygen 1.8.9.1

Functions

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

Detailed Description

Function Documentation

void Gecode::sequence ( Home  home,
const IntVarArgs x,
const IntSet s,
int  q,
int  l,
int  u,
IntConLevel  icl = ICL_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:

Definition at line 51 of file sequence.cpp.

void Gecode::sequence ( Home  home,
const BoolVarArgs x,
const IntSet s,
int  q,
int  l,
int  u,
IntConLevel  icl = ICL_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:

Definition at line 117 of file sequence.cpp.