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

Selection constraints
[Using finite integer sets]

Detailed Description

A selection constraint selects zero, one or more elements out of a sequence.

We write $ \langle x_0,\dots, x_{n-1} \rangle $ for the sequence, and $ [y] $ for the selector variable.

Set selection constraints are closely related to the element constraint on finite domain variables.


Functions

static synchronized void org::gecode::Gecode.selectUnion (JavaSpace home, VarArray<?extends SetVar > x, SetVar y, SetVar z)
 Post propagator for $ z=\bigcup\langle x_0,\dots,x_{n-1}\rangle[y] $ If y is the empty set, z will also be constrained to be empty (as an empty union is empty).
static synchronized void org::gecode::Gecode.selectInter (JavaSpace home, VarArray<?extends SetVar > x, SetVar y, SetVar z)
 Post propagator for $ z=\bigcap\langle x_0,\dots,x_{n-1}\rangle[y] $ using $ \mathcal{U} $ as universe.
static synchronized void org::gecode::Gecode.selectInterIn (JavaSpace home, VarArray<?extends SetVar > x, SetVar y, SetVar z, IntSet u)
 Post propagator for $ z=\bigcap\langle x_0,\dots,x_{n-1}\rangle[y] $ using u as universe.
static synchronized void org::gecode::Gecode.selectDisjoint (JavaSpace home, VarArray<?extends SetVar > x, SetVar y)
 Post propagator for $ \parallel\langle x_0,\dots,x_{n-1}\rangle[y] $.
static synchronized void org::gecode::Gecode.selectSet (JavaSpace home, VarArray<?extends SetVar > x, IntVar y, SetVar z)
 Post propagator for $ z=\langle x_0,\dots,x_{n-1}\rangle[y] $.

Function Documentation

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

Post propagator for $ z=\bigcup\langle x_0,\dots,x_{n-1}\rangle[y] $ If y is the empty set, z will also be constrained to be empty (as an empty union is empty).

Definition at line 2361 of file Gecode.java.

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

Post propagator for $ z=\bigcap\langle x_0,\dots,x_{n-1}\rangle[y] $ using $ \mathcal{U} $ as universe.

If y is empty, z will be constrained to be the universe $ \mathcal{U} $ (as an empty intersection is the universe).

Definition at line 2371 of file Gecode.java.

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

Post propagator for $ z=\bigcap\langle x_0,\dots,x_{n-1}\rangle[y] $ using u as universe.

If y is empty, z will be constrained to be the given universe u (as an empty intersection is the universe).

Definition at line 2381 of file Gecode.java.

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

Post propagator for $ \parallel\langle x_0,\dots,x_{n-1}\rangle[y] $.

Definition at line 2387 of file Gecode.java.

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

Post propagator for $ z=\langle x_0,\dots,x_{n-1}\rangle[y] $.

Definition at line 2393 of file Gecode.java.