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

Domain constraints
[Using finite domain integers]


Functions

static synchronized void org::gecode::Gecode.dom (JavaSpace home, IntVar x, int l, int m, IntConLevel arg4)
 Propagates $ l\leq x\leq m$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, IntVar x, int l, int m)
 Propagates $ l\leq x\leq m$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, VarArray<?extends IntVar > x, int l, int m, IntConLevel arg4)
 Propagates $ l\leq x_i\leq m$ for all $0\leq i<|x|$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, VarArray<?extends IntVar > x, int l, int m)
 Propagates $ l\leq x_i\leq m$ for all $0\leq i<|x|$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, IntVar x, IntSet s, IntConLevel arg3)
 Propagates $ x\in s $.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, IntVar x, IntSet s)
 Propagates $ x\in s $.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, VarArray<?extends IntVar > x, IntSet s, IntConLevel arg3)
 Propagates $ x_i\in s$ for all $0\leq i<|x|$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, VarArray<?extends IntVar > x, IntSet s)
 Propagates $ x_i\in s$ for all $0\leq i<|x|$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, IntVar x, int l, int m, BoolVar b, IntConLevel arg5)
 Post propagator for $ (l\leq x \leq m) \Leftrightarrow b$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, IntVar x, int l, int m, BoolVar b)
 Post propagator for $ (l\leq x \leq m) \Leftrightarrow b$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, IntVar x, IntSet s, BoolVar b, IntConLevel arg4)
 Post propagator for $ (x \in s) \Leftrightarrow b$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, IntVar x, IntSet s, BoolVar b)
 Post propagator for $ (x \in s) \Leftrightarrow b$.

Function Documentation

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
IntVar  x,
int  l,
int  m,
IntConLevel  arg4 
) [static, inherited]

Propagates $ l\leq x\leq m$.

Definition at line 242 of file Gecode.java.

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
IntVar  x,
int  l,
int  m 
) [static, inherited]

Propagates $ l\leq x\leq m$.

Definition at line 248 of file Gecode.java.

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
VarArray<?extends IntVar >  x,
int  l,
int  m,
IntConLevel  arg4 
) [static, inherited]

Propagates $ l\leq x_i\leq m$ for all $0\leq i<|x|$.

Definition at line 253 of file Gecode.java.

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
VarArray<?extends IntVar >  x,
int  l,
int  m 
) [static, inherited]

Propagates $ l\leq x_i\leq m$ for all $0\leq i<|x|$.

Definition at line 258 of file Gecode.java.

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
IntVar  x,
IntSet  s,
IntConLevel  arg3 
) [static, inherited]

Propagates $ x\in s $.

Definition at line 263 of file Gecode.java.

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

Propagates $ x\in s $.

Definition at line 268 of file Gecode.java.

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
VarArray<?extends IntVar >  x,
IntSet  s,
IntConLevel  arg3 
) [static, inherited]

Propagates $ x_i\in s$ for all $0\leq i<|x|$.

Definition at line 273 of file Gecode.java.

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

Propagates $ x_i\in s$ for all $0\leq i<|x|$.

Definition at line 278 of file Gecode.java.

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
IntVar  x,
int  l,
int  m,
BoolVar  b,
IntConLevel  arg5 
) [static, inherited]

Post propagator for $ (l\leq x \leq m) \Leftrightarrow b$.

Definition at line 283 of file Gecode.java.

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
IntVar  x,
int  l,
int  m,
BoolVar  b 
) [static, inherited]

Post propagator for $ (l\leq x \leq m) \Leftrightarrow b$.

Definition at line 288 of file Gecode.java.

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
IntVar  x,
IntSet  s,
BoolVar  b,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $ (x \in s) \Leftrightarrow b$.

Definition at line 293 of file Gecode.java.

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
IntVar  x,
IntSet  s,
BoolVar  b 
) [static, inherited]

Post propagator for $ (x \in s) \Leftrightarrow b$.

Definition at line 298 of file Gecode.java.