Generated on Fri Oct 6 16:26:45 2006 for Gecode/J by doxygen 1.4.7

Sequence constraints
[Using finite integer sets]


Functions

static synchronized void org::gecode::Gecode.sequence (JavaSpace home, VarArray<?extends SetVar > x)
 Post propagator for $\forall 0\leq i< |x|-1 : \max(x_i)<\min(x_{i+1})$.
static synchronized void org::gecode::Gecode.sequentialUnion (JavaSpace home, VarArray<?extends SetVar > y, SetVar x)
 Post propagator for $\forall 0\leq i< |x|-1 : \max(x_i)<\min(x_{i+1})$ and $ x = \bigcup_{i\in\{0,\dots,n-1\}} y_i $.

Function Documentation

static synchronized void org.gecode.Gecode.sequence ( JavaSpace  home,
VarArray<?extends SetVar >  x 
) [static, inherited]

Post propagator for $\forall 0\leq i< |x|-1 : \max(x_i)<\min(x_{i+1})$.

Definition at line 2252 of file Gecode.java.

static synchronized void org.gecode.Gecode.sequentialUnion ( JavaSpace  home,
VarArray<?extends SetVar >  y,
SetVar  x 
) [static, inherited]

Post propagator for $\forall 0\leq i< |x|-1 : \max(x_i)<\min(x_{i+1})$ and $ x = \bigcup_{i\in\{0,\dots,n-1\}} y_i $.

Definition at line 2258 of file Gecode.java.