Value precedence constraints over set variables

Functions
void	Gecode::precede (Home home, const SetVarArgs &x, int s, int t)
	Post propagator that s precedes t in x.
void	Gecode::precede (Home home, const SetVarArgs &x, const IntArgs &c)
	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 SetVarArgs &	x,
		int	s,
		int	t )

Post propagator that s precedes t in x.

This constraint enforces that if there exists \(j\) such that \(s\notin x_j\land t\in x_j\), then there exists \(i<j\) such that \(s\in x_i\land t\notin x_i\).

precede() [2/2]

void Gecode::precede	(	Home	home,
		const SetVarArgs &	x,
		const IntArgs &	c )

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