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

Set operation/relation constraints
[Using finite integer sets]


Functions

static synchronized void org::gecode::Gecode.rel (JavaSpace home, SetVar x, SetOpType op, SetVar y, SetRelType r, SetVar z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, SetOpType op, VarArray<?extends SetVar > x, SetVar y)
 Post propagator for $ y = \diamond_{\mathit{op}} x$.
static synchronized void org::gecode::Gecode.relI (JavaSpace home, SetOpType op, VarArray<?extends IntVar > x, SetVar y)
 Post propagator for $ y = \diamond_{\mathit{op}} x$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntSet x, SetOpType op, SetVar y, SetRelType r, SetVar z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, SetVar x, SetOpType op, IntSet y, SetRelType r, SetVar z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, SetVar x, SetOpType op, SetVar y, SetRelType r, IntSet z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntSet x, SetOpType op, IntSet y, SetRelType r, SetVar z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntSet x, SetOpType op, SetVar y, SetRelType r, IntSet z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, SetVar x, SetOpType op, IntSet y, SetRelType r, IntSet z)
 Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Function Documentation

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
SetVar  x,
SetOpType  op,
SetVar  y,
SetRelType  r,
SetVar  z 
) [static, inherited]

Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Definition at line 2167 of file Gecode.java.

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

Post propagator for $ y = \diamond_{\mathit{op}} x$.

Definition at line 2173 of file Gecode.java.

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

Post propagator for $ y = \diamond_{\mathit{op}} x$.

Definition at line 2179 of file Gecode.java.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
IntSet  x,
SetOpType  op,
SetVar  y,
SetRelType  r,
SetVar  z 
) [static, inherited]

Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Definition at line 2185 of file Gecode.java.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
SetVar  x,
SetOpType  op,
IntSet  y,
SetRelType  r,
SetVar  z 
) [static, inherited]

Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Definition at line 2191 of file Gecode.java.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
SetVar  x,
SetOpType  op,
SetVar  y,
SetRelType  r,
IntSet  z 
) [static, inherited]

Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Definition at line 2197 of file Gecode.java.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
IntSet  x,
SetOpType  op,
IntSet  y,
SetRelType  r,
SetVar  z 
) [static, inherited]

Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Definition at line 2203 of file Gecode.java.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
IntSet  x,
SetOpType  op,
SetVar  y,
SetRelType  r,
IntSet  z 
) [static, inherited]

Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Definition at line 2209 of file Gecode.java.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
SetVar  x,
SetOpType  op,
IntSet  y,
SetRelType  r,
IntSet  z 
) [static, inherited]

Post propagator for $ (x \diamond_{\mathit{op}} y) \sim_r z $.

Definition at line 2215 of file Gecode.java.