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

Connection constraints to finite domain variables
[Using finite integer sets]


Functions

static synchronized void org::gecode::Gecode.min (JavaSpace home, SetVar s, IntVar x)
 Post propagator that propagates that x is the minimal element of s.
static synchronized void org::gecode::Gecode.max (JavaSpace home, SetVar s, IntVar x)
 Post propagator that propagates that x is the maximal element of s.
static synchronized void org::gecode::Gecode.match (JavaSpace home, SetVar s, VarArray<?extends IntVar > x)
 Post propagator that propagates that s contains the $x_i$, which are sorted in non-descending order.
static synchronized void org::gecode::Gecode.channel_set (JavaSpace home, VarArray<?extends IntVar > x, VarArray<?extends SetVar > y)
 Post propagator for $x_i=j \Leftrightarrow i\in y_j$.
static synchronized void org::gecode::Gecode.cardinality (JavaSpace home, SetVar s, IntVar x)
 Post propagator for $ |s|=x $.
static synchronized void org::gecode::Gecode.weights (JavaSpace home, int[] elements, int[] weights, SetVar x, IntVar y)
 Post propagator for $y = \mathrm{weight}(x)$.

Function Documentation

static synchronized void org.gecode.Gecode.min ( JavaSpace  home,
SetVar  s,
IntVar  x 
) [static, inherited]

Post propagator that propagates that x is the minimal element of s.

Definition at line 2296 of file Gecode.java.

static synchronized void org.gecode.Gecode.max ( JavaSpace  home,
SetVar  s,
IntVar  x 
) [static, inherited]

Post propagator that propagates that x is the maximal element of s.

Definition at line 2302 of file Gecode.java.

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

Post propagator that propagates that s contains the $x_i$, which are sorted in non-descending order.

Definition at line 2308 of file Gecode.java.

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

Post propagator for $x_i=j \Leftrightarrow i\in y_j$.

Definition at line 2314 of file Gecode.java.

static synchronized void org.gecode.Gecode.cardinality ( JavaSpace  home,
SetVar  s,
IntVar  x 
) [static, inherited]

Post propagator for $ |s|=x $.

Definition at line 2320 of file Gecode.java.

static synchronized void org.gecode.Gecode.weights ( JavaSpace  home,
int[]  elements,
int[]  weights,
SetVar  x,
IntVar  y 
) [static, inherited]

Post propagator for $y = \mathrm{weight}(x)$.

The weights are given as pairs of elements and their weight: $\mathrm{weight}(\mathrm{elements}_i) = \mathrm{weights}_i$

The upper bound of x is constrained to contain only elements from elements. The weight of a set is the sum of the weights of its elements.

Definition at line 2335 of file Gecode.java.