Value precedence constraints over integer variables

Functions
void	Gecode::precede (Home home, const IntVarArgs &x, int s, int t, IntPropLevel=IPL_DEF)
	Post propagator that s precedes t in x.
void	Gecode::precede (Home home, const IntVarArgs &x, const IntArgs &c, IntPropLevel=IPL_DEF)
	Post propagator that successive values in c precede each other in x.

Detailed Description

Function Documentation

precede() [1/2]

void Gecode::precede	(	Home	home,
		const IntVarArgs &	x,
		int	s,
		int	t,
		IntPropLevel	= IPL_DEF )

Post propagator that s precedes t in x.

This constraint enforces that \(x_0\neq t\) and \(x_j=t \to \bigvee_{0\leq i<j} x_i=s\) for \(0\leq j<|x|\). The propagator is domain consistent.

precede() [2/2]

void Gecode::precede	(	Home	home,
		const IntVarArgs &	x,
		const IntArgs &	c,
		IntPropLevel	= IPL_DEF )

Post propagator that successive values in c precede each other in x.

This constraint enforces that \(x_0\neq c_k\) for \(0<k<|c|\) and \(x_j=c_{k} \to \bigvee_{0\leq i<j} x_i=c_{k-1}\) for \(0\leq j<|x|\) and \(0< k<|c|\).