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

Domain constraints
[Using finite integer sets]


Functions

static synchronized void org::gecode::Gecode.dom (JavaSpace home, SetVar x, SetRelType r, int i)
 Propagates $ x \sim_r \{i\}$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, SetVar x, SetRelType r, int i, int j)
 Propagates $ x \sim_r \{i,\dots,j\}$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, SetVar x, SetRelType r, IntSet s)
 Propagates $ x \sim_r s$.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, SetVar x, SetRelType r, int i, BoolVar b)
 Post propagator for $ (x \sim_r \{i\}) \Leftrightarrow b $.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, SetVar x, SetRelType r, int i, int j, BoolVar b)
 Post propagator for $ (x \sim_r \{i,\dots,j\}) \Leftrightarrow b $.
static synchronized void org::gecode::Gecode.dom (JavaSpace home, SetVar x, SetRelType r, IntSet s, BoolVar b)
 Post propagator for $ (x \sim_r s) \Leftrightarrow b $.
static synchronized void org::gecode::Gecode.cardinality (JavaSpace home, SetVar x, long i, long j)
 Propagates $ i \leq |s| \leq j $.

Function Documentation

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
SetVar  x,
SetRelType  r,
int  i 
) [static, inherited]

Propagates $ x \sim_r \{i\}$.

Definition at line 2056 of file Gecode.java.

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
SetVar  x,
SetRelType  r,
int  i,
int  j 
) [static, inherited]

Propagates $ x \sim_r \{i,\dots,j\}$.

Definition at line 2062 of file Gecode.java.

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

Propagates $ x \sim_r s$.

Definition at line 2068 of file Gecode.java.

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

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

Definition at line 2074 of file Gecode.java.

static synchronized void org.gecode.Gecode.dom ( JavaSpace  home,
SetVar  x,
SetRelType  r,
int  i,
int  j,
BoolVar  b 
) [static, inherited]

Post propagator for $ (x \sim_r \{i,\dots,j\}) \Leftrightarrow b $.

Definition at line 2080 of file Gecode.java.

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

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

Definition at line 2086 of file Gecode.java.

static synchronized void org.gecode.Gecode.cardinality ( JavaSpace  home,
SetVar  x,
long  i,
long  j 
) [static, inherited]

Propagates $ i \leq |s| \leq j $.

Definition at line 2092 of file Gecode.java.