Sequence constraints
[Using finite domain integers]

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)$ .
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)$ .

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:

Of type Int::TooFewArguments, if .
Of type Int::ArgumentSame, if x contains the same unassigned variable multiply.
Of type Int::OutOfRange, if $q < 1 \vee q > |x|$ .

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:

Of type Int::TooFewArguments, if .
Of type Int::ArgumentSame, if x contains the same unassigned variable multiply.
Of type Int::OutOfRange, if $q < 1 \vee q > |x|$ .

Sequence constraints [Using finite domain integers]

Functions

Function Documentation

Sequence constraints
[Using finite domain integers]