Generated on Thu Nov 2 14:49:36 2006 for Gecode/J by doxygen 1.5.0

Equality constraints
[Using finite domain integers]

Collaboration diagram for Equality constraints:


Functions

static synchronized void org::gecode::Gecode.eq (JavaSpace home, IntVar x0, IntVar x1, IntConLevel icl)
 Post propagator for $ x_0 = x_1$.
static synchronized void org::gecode::Gecode.eq (JavaSpace home, IntVar x0, IntVar x1)
 Post propagator for $ x_0 = x_1$.
static synchronized void org::gecode::Gecode.eq (JavaSpace home, IntVar x, int n, IntConLevel arg3)
 Propagates $ x = n$.
static synchronized void org::gecode::Gecode.eq (JavaSpace home, IntVar x, int n)
 Propagates $ x = n$.
static synchronized void org::gecode::Gecode.eq (JavaSpace home, IntVar x0, IntVar x1, BoolVar b, IntConLevel icl)
 Post propagator for $ (x_0 = x_1)\Leftrightarrow b$.
static synchronized void org::gecode::Gecode.eq (JavaSpace home, IntVar x0, IntVar x1, BoolVar b)
 Post propagator for $ (x_0 = x_1)\Leftrightarrow b$.
static synchronized void org::gecode::Gecode.eq (JavaSpace home, IntVar x, int n, BoolVar b, IntConLevel icl)
 Post propagator for $ (x=n)\Leftrightarrow b$.
static synchronized void org::gecode::Gecode.eq (JavaSpace home, IntVar x, int n, BoolVar b)
 Post propagator for $ (x=n)\Leftrightarrow b$.
static synchronized void org::gecode::Gecode.eq (JavaSpace home, VarArray<?extends IntVar > x, IntConLevel icl)
 Post propagator for $ x_0 = x_1=\ldots =x_{|x|-1}$.
static synchronized void org::gecode::Gecode.eq (JavaSpace home, VarArray<?extends IntVar > x)
 Post propagator for $ x_0 = x_1=\ldots =x_{|x|-1}$.

Function Documentation

static synchronized void org.gecode.Gecode.eq ( JavaSpace  home,
IntVar  x0,
IntVar  x1,
IntConLevel  icl 
) [static, inherited]

Post propagator for $ x_0 = x_1$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 480 of file Gecode.java.

static synchronized void org.gecode.Gecode.eq ( JavaSpace  home,
IntVar  x0,
IntVar  x1 
) [static, inherited]

Post propagator for $ x_0 = x_1$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 491 of file Gecode.java.

static synchronized void org.gecode.Gecode.eq ( JavaSpace  home,
IntVar  x,
int  n,
IntConLevel  arg3 
) [static, inherited]

Propagates $ x = n$.

Definition at line 496 of file Gecode.java.

static synchronized void org.gecode.Gecode.eq ( JavaSpace  home,
IntVar  x,
int  n 
) [static, inherited]

Propagates $ x = n$.

Definition at line 501 of file Gecode.java.

static synchronized void org.gecode.Gecode.eq ( JavaSpace  home,
IntVar  x0,
IntVar  x1,
BoolVar  b,
IntConLevel  icl 
) [static, inherited]

Post propagator for $ (x_0 = x_1)\Leftrightarrow b$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 510 of file Gecode.java.

static synchronized void org.gecode.Gecode.eq ( JavaSpace  home,
IntVar  x0,
IntVar  x1,
BoolVar  b 
) [static, inherited]

Post propagator for $ (x_0 = x_1)\Leftrightarrow b$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 519 of file Gecode.java.

static synchronized void org.gecode.Gecode.eq ( JavaSpace  home,
IntVar  x,
int  n,
BoolVar  b,
IntConLevel  icl 
) [static, inherited]

Post propagator for $ (x=n)\Leftrightarrow b$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 528 of file Gecode.java.

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

Post propagator for $ (x=n)\Leftrightarrow b$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 537 of file Gecode.java.

static synchronized void org.gecode.Gecode.eq ( JavaSpace  home,
VarArray<?extends IntVar >  x,
IntConLevel  icl 
) [static, inherited]

Post propagator for $ x_0 = x_1=\ldots =x_{|x|-1}$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 546 of file Gecode.java.

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

Post propagator for $ x_0 = x_1=\ldots =x_{|x|-1}$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 555 of file Gecode.java.