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

Simple relation constraints
[Using finite domain integers]


Functions

static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntVar x0, IntRelType r, IntVar x1, IntConLevel icl)
 Post propagator for $ x_0 \sim_r x_1$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntVar x0, IntRelType r, IntVar x1)
 Post propagator for $ x_0 \sim_r x_1$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntVar x, IntRelType r, int c, IntConLevel icl)
 Propagates $ x \sim_r c$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntVar x, IntRelType r, int c)
 Propagates $ x \sim_r c$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntVar x0, IntRelType r, IntVar x1, BoolVar b, IntConLevel icl)
 Post propagator for $ (x_0 \sim_r x_1)\Leftrightarrow b$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntVar x0, IntRelType r, IntVar x1, BoolVar b)
 Post propagator for $ (x_0 \sim_r x_1)\Leftrightarrow b$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntVar x, IntRelType r, int c, BoolVar b, IntConLevel icl)
 Post propagator for $(x \sim_r c)\Leftrightarrow b$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, IntVar x, IntRelType r, int c, BoolVar b)
 Post propagator for $(x \sim_r c)\Leftrightarrow b$.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, VarArray<?extends IntVar > y, IntConLevel icl)
 Post propagator for relation between x and y.
static synchronized void org::gecode::Gecode.rel (JavaSpace home, VarArray<?extends IntVar > x, IntRelType r, VarArray<?extends IntVar > y)
 Post propagator for relation between x and y.

Function Documentation

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

Post propagator for $ x_0 \sim_r x_1$.

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

Definition at line 318 of file Gecode.java.

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

Post propagator for $ x_0 \sim_r x_1$.

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

Definition at line 330 of file Gecode.java.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
IntVar  x,
IntRelType  r,
int  c,
IntConLevel  icl 
) [static, inherited]

Propagates $ x \sim_r c$.

Definition at line 335 of file Gecode.java.

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

Propagates $ x \sim_r c$.

Definition at line 340 of file Gecode.java.

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

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

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

Definition at line 349 of file Gecode.java.

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

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

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

Definition at line 358 of file Gecode.java.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
IntVar  x,
IntRelType  r,
int  c,
BoolVar  b,
IntConLevel  icl 
) [static, inherited]

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

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

Definition at line 367 of file Gecode.java.

static synchronized void org.gecode.Gecode.rel ( JavaSpace  home,
IntVar  x,
IntRelType  r,
int  c,
BoolVar  b 
) [static, inherited]

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

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

Definition at line 376 of file Gecode.java.

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

Post propagator for relation between x and y.

Note that for the inequality relations this corresponds to the lexical order between x and y.

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

Throws an exception of type Int.ArgumentSizeMismatch, if x and y are of different size.

Definition at line 391 of file Gecode.java.

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

Post propagator for relation between x and y.

Note that for the inequality relations this corresponds to the lexical order between x and y.

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

Throws an exception of type Int.ArgumentSizeMismatch, if x and y are of different size.

Definition at line 406 of file Gecode.java.