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

Relation constraints
[Using finite integer sets]


Functions

static synchronized void org::gecode::Gecode.rel (JavaSpace home, SetVar x, SetRelType r, SetVar y)
 Post propagator for $ x \sim_r y$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, SetVar x, SetRelType r, SetVar y, BoolVar b)
 Post propagator for $ (x \sim_r y) \Leftrightarrow b $.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, SetVar s, SetRelType r, IntVar x)
 Post propagator for $ s \sim_r \{x\}$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntVar x, SetRelType r, SetVar s)
 Post propagator for $ \{x\} \sim_r s$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, SetVar s, SetRelType r, IntVar x, BoolVar b)
 Post propagator for $ (s \sim_r \{x\}) \Leftrightarrow b $.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntVar x, SetRelType r, SetVar s, BoolVar b)
 Post propagator for $ (\{x\} \sim_r s) \Leftrightarrow b $.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, SetVar s, IntRelType r, IntVar x)
 Post propagator for $\forall i\in s:\ i \sim_r x$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntVar x, IntRelType r, SetVar s)
 Post propagator for $\forall i\in s:\ x \sim_r i$.

Function Documentation

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

Post propagator for $ x \sim_r y$.

Definition at line 2109 of file Gecode.java.

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

Post propagator for $ (x \sim_r y) \Leftrightarrow b $.

Definition at line 2115 of file Gecode.java.

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

Post propagator for $ s \sim_r \{x\}$.

Definition at line 2121 of file Gecode.java.

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

Post propagator for $ \{x\} \sim_r s$.

Definition at line 2127 of file Gecode.java.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
SetVar  s,
SetRelType  r,
IntVar  x,
BoolVar  b 
) [static, inherited]

Post propagator for $ (s \sim_r \{x\}) \Leftrightarrow b $.

Definition at line 2133 of file Gecode.java.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
IntVar  x,
SetRelType  r,
SetVar  s,
BoolVar  b 
) [static, inherited]

Post propagator for $ (\{x\} \sim_r s) \Leftrightarrow b $.

Definition at line 2139 of file Gecode.java.

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

Post propagator for $\forall i\in s:\ i \sim_r x$.

Definition at line 2145 of file Gecode.java.

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

Post propagator for $\forall i\in s:\ x \sim_r i$.

Definition at line 2151 of file Gecode.java.