Generated on Fri Aug 24 2012 04:52:24 for Gecode by doxygen 1.8.1.1
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

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 \form#271 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$.

Definition at line 49 of file precede.cpp.

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

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

Definition at line 60 of file precede.cpp.