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

Boolean constraints
[Using finite domain integers]


Functions

static synchronized void org::gecode::Gecode.bool_not (JavaSpace home, BoolVar b0, BoolVar b1, IntConLevel arg3)
 Post propagator for $ \lnot b_0 = b_1$.
static synchronized void org::gecode::Gecode.bool_not (JavaSpace home, BoolVar b0, BoolVar b1)
 Post propagator for $ \lnot b_0 = b_1$.
static synchronized void org::gecode::Gecode.bool_eq (JavaSpace home, BoolVar b0, BoolVar b1, IntConLevel arg3)
 Post propagator for $ b_0 = b_1$.
static synchronized void org::gecode::Gecode.bool_eq (JavaSpace home, BoolVar b0, BoolVar b1)
 Post propagator for $ b_0 = b_1$.
static synchronized void org::gecode::Gecode.bool_and (JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel arg4)
 Post propagator for $ b_0 \land b_1 = b_2 $.
static synchronized void org::gecode::Gecode.bool_and (JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2)
 Post propagator for $ b_0 \land b_1 = b_2 $.
static synchronized void org::gecode::Gecode.bool_and (JavaSpace home, BoolVar b0, BoolVar b1, boolean b2, IntConLevel arg4)
 Post propagator for $ b_0 \land b_1 = b_2 $.
static synchronized void org::gecode::Gecode.bool_and (JavaSpace home, BoolVar b0, BoolVar b1, boolean b2)
 Post propagator for $ b_0 \land b_1 = b_2 $.
static synchronized void org::gecode::Gecode.bool_and (JavaSpace home, VarArray<?extends BoolVar > b, BoolVar c, IntConLevel arg3)
 Post propagator for $ \bigwedge_{i=0}^{|b|-1} b_i = c$.
static synchronized void org::gecode::Gecode.bool_and (JavaSpace home, VarArray<?extends BoolVar > b, BoolVar c)
 Post propagator for $ \bigwedge_{i=0}^{|b|-1} b_i = c$.
static synchronized void org::gecode::Gecode.bool_and (JavaSpace home, VarArray<?extends BoolVar > b, boolean c, IntConLevel arg3)
 Post propagator for $ \bigwedge_{i=0}^{|b|-1} b_i = c$.
static synchronized void org::gecode::Gecode.bool_and (JavaSpace home, VarArray<?extends BoolVar > b, boolean c)
 Post propagator for $ \bigwedge_{i=0}^{|b|-1} b_i = c$.
static synchronized void org::gecode::Gecode.bool_or (JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel arg4)
 Post propagator for $ b_0 \lor b_1 = b_2 $.
static synchronized void org::gecode::Gecode.bool_or (JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2)
 Post propagator for $ b_0 \lor b_1 = b_2 $.
static synchronized void org::gecode::Gecode.bool_or (JavaSpace home, BoolVar b0, BoolVar b1, boolean b2, IntConLevel arg4)
 Post propagator for $ b_0 \lor b_1 = b_2 $.
static synchronized void org::gecode::Gecode.bool_or (JavaSpace home, BoolVar b0, BoolVar b1, boolean b2)
 Post propagator for $ b_0 \lor b_1 = b_2 $.
static synchronized void org::gecode::Gecode.bool_or (JavaSpace home, VarArray<?extends BoolVar > b, BoolVar c, IntConLevel arg3)
 Post propagator for $ \bigvee_{i=0}^{|b|-1} b_i = c$.
static synchronized void org::gecode::Gecode.bool_or (JavaSpace home, VarArray<?extends BoolVar > b, BoolVar c)
 Post propagator for $ \bigvee_{i=0}^{|b|-1} b_i = c$.
static synchronized void org::gecode::Gecode.bool_or (JavaSpace home, VarArray<?extends BoolVar > b, boolean c, IntConLevel arg3)
 Post propagator for $ \bigvee_{i=0}^{|b|-1} b_i = c$.
static synchronized void org::gecode::Gecode.bool_or (JavaSpace home, VarArray<?extends BoolVar > b, boolean c)
 Post propagator for $ \bigvee_{i=0}^{|b|-1} b_i = c$.
static synchronized void org::gecode::Gecode.bool_imp (JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel arg4)
 Post propagator for $ b_0 \Rightarrow b_1 = b_2 $ (implication).
static synchronized void org::gecode::Gecode.bool_imp (JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2)
 Post propagator for $ b_0 \Rightarrow b_1 = b_2 $ (implication).
static synchronized void org::gecode::Gecode.bool_imp (JavaSpace home, BoolVar b0, BoolVar b1, boolean b2, IntConLevel arg4)
 Post propagator for $ b_0 \Rightarrow b_1 = b_2 $ (implication).
static synchronized void org::gecode::Gecode.bool_imp (JavaSpace home, BoolVar b0, BoolVar b1, boolean b2)
 Post propagator for $ b_0 \Rightarrow b_1 = b_2 $ (implication).
static synchronized void org::gecode::Gecode.bool_eqv (JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel arg4)
 Post propagator for $ b_0 \Leftrightarrow b_1 = b_2 $ (equivalence).
static synchronized void org::gecode::Gecode.bool_eqv (JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2)
 Post propagator for $ b_0 \Leftrightarrow b_1 = b_2 $ (equivalence).
static synchronized void org::gecode::Gecode.bool_eqv (JavaSpace home, BoolVar b0, BoolVar b1, boolean b2, IntConLevel arg4)
 Post propagator for $ b_0 \Leftrightarrow b_1 = b_2 $ (equivalence).
static synchronized void org::gecode::Gecode.bool_eqv (JavaSpace home, BoolVar b0, BoolVar b1, boolean b2)
 Post propagator for $ b_0 \Leftrightarrow b_1 = b_2 $ (equivalence).
static synchronized void org::gecode::Gecode.bool_xor (JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel arg4)
 Post propagator for $ b_1 \otimes b_2 = b_3 $ (exclusive or).
static synchronized void org::gecode::Gecode.bool_xor (JavaSpace home, BoolVar b0, BoolVar b1, BoolVar b2)
 Post propagator for $ b_1 \otimes b_2 = b_3 $ (exclusive or).
static synchronized void org::gecode::Gecode.bool_xor (JavaSpace home, BoolVar b0, BoolVar b1, boolean b2, IntConLevel arg4)
 Post propagator for $ b_1 \otimes b_2 = b_3 $ (exclusive or).
static synchronized void org::gecode::Gecode.bool_xor (JavaSpace home, BoolVar b0, BoolVar b1, boolean b2)
 Post propagator for $ b_1 \otimes b_2 = b_3 $ (exclusive or).
static synchronized void org::gecode::Gecode.linear_bool (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, int c, IntConLevel arg4)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.
static synchronized void org::gecode::Gecode.linear_bool (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, int c)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.
static synchronized void org::gecode::Gecode.linear_bool (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, IntVar y, IntConLevel arg4)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.
static synchronized void org::gecode::Gecode.linear_bool (JavaSpace home, VarArray<?extends BoolVar > x, IntRelType r, IntVar y)
 Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.

Function Documentation

static synchronized void org.gecode.Gecode.bool_not ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
IntConLevel  arg3 
) [static, inherited]

Post propagator for $ \lnot b_0 = b_1$.

Definition at line 1515 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_not ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1 
) [static, inherited]

Post propagator for $ \lnot b_0 = b_1$.

Definition at line 1522 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_eq ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
IntConLevel  arg3 
) [static, inherited]

Post propagator for $ b_0 = b_1$.

Definition at line 1528 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_eq ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1 
) [static, inherited]

Post propagator for $ b_0 = b_1$.

Definition at line 1534 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_and ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $ b_0 \land b_1 = b_2 $.

Definition at line 1540 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_and ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2 
) [static, inherited]

Post propagator for $ b_0 \land b_1 = b_2 $.

Definition at line 1546 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_and ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
boolean  b2,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $ b_0 \land b_1 = b_2 $.

Definition at line 1552 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_and ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
boolean  b2 
) [static, inherited]

Post propagator for $ b_0 \land b_1 = b_2 $.

Definition at line 1558 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_and ( JavaSpace  home,
VarArray<?extends BoolVar >  b,
BoolVar  c,
IntConLevel  arg3 
) [static, inherited]

Post propagator for $ \bigwedge_{i=0}^{|b|-1} b_i = c$.

Definition at line 1564 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_and ( JavaSpace  home,
VarArray<?extends BoolVar >  b,
BoolVar  c 
) [static, inherited]

Post propagator for $ \bigwedge_{i=0}^{|b|-1} b_i = c$.

Definition at line 1570 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_and ( JavaSpace  home,
VarArray<?extends BoolVar >  b,
boolean  c,
IntConLevel  arg3 
) [static, inherited]

Post propagator for $ \bigwedge_{i=0}^{|b|-1} b_i = c$.

Definition at line 1576 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_and ( JavaSpace  home,
VarArray<?extends BoolVar >  b,
boolean  c 
) [static, inherited]

Post propagator for $ \bigwedge_{i=0}^{|b|-1} b_i = c$.

Definition at line 1582 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_or ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $ b_0 \lor b_1 = b_2 $.

Definition at line 1588 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_or ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2 
) [static, inherited]

Post propagator for $ b_0 \lor b_1 = b_2 $.

Definition at line 1594 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_or ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
boolean  b2,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $ b_0 \lor b_1 = b_2 $.

Definition at line 1600 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_or ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
boolean  b2 
) [static, inherited]

Post propagator for $ b_0 \lor b_1 = b_2 $.

Definition at line 1606 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_or ( JavaSpace  home,
VarArray<?extends BoolVar >  b,
BoolVar  c,
IntConLevel  arg3 
) [static, inherited]

Post propagator for $ \bigvee_{i=0}^{|b|-1} b_i = c$.

Definition at line 1612 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_or ( JavaSpace  home,
VarArray<?extends BoolVar >  b,
BoolVar  c 
) [static, inherited]

Post propagator for $ \bigvee_{i=0}^{|b|-1} b_i = c$.

Definition at line 1618 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_or ( JavaSpace  home,
VarArray<?extends BoolVar >  b,
boolean  c,
IntConLevel  arg3 
) [static, inherited]

Post propagator for $ \bigvee_{i=0}^{|b|-1} b_i = c$.

Definition at line 1624 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_or ( JavaSpace  home,
VarArray<?extends BoolVar >  b,
boolean  c 
) [static, inherited]

Post propagator for $ \bigvee_{i=0}^{|b|-1} b_i = c$.

Definition at line 1630 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_imp ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $ b_0 \Rightarrow b_1 = b_2 $ (implication).

Definition at line 1636 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_imp ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2 
) [static, inherited]

Post propagator for $ b_0 \Rightarrow b_1 = b_2 $ (implication).

Definition at line 1642 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_imp ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
boolean  b2,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $ b_0 \Rightarrow b_1 = b_2 $ (implication).

Definition at line 1648 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_imp ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
boolean  b2 
) [static, inherited]

Post propagator for $ b_0 \Rightarrow b_1 = b_2 $ (implication).

Definition at line 1654 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_eqv ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $ b_0 \Leftrightarrow b_1 = b_2 $ (equivalence).

Definition at line 1660 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_eqv ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2 
) [static, inherited]

Post propagator for $ b_0 \Leftrightarrow b_1 = b_2 $ (equivalence).

Definition at line 1666 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_eqv ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
boolean  b2,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $ b_0 \Leftrightarrow b_1 = b_2 $ (equivalence).

Definition at line 1672 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_eqv ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
boolean  b2 
) [static, inherited]

Post propagator for $ b_0 \Leftrightarrow b_1 = b_2 $ (equivalence).

Definition at line 1678 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_xor ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $ b_1 \otimes b_2 = b_3 $ (exclusive or).

Definition at line 1684 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_xor ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2 
) [static, inherited]

Post propagator for $ b_1 \otimes b_2 = b_3 $ (exclusive or).

Definition at line 1690 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_xor ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
boolean  b2,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $ b_1 \otimes b_2 = b_3 $ (exclusive or).

Definition at line 1696 of file Gecode.java.

static synchronized void org.gecode.Gecode.bool_xor ( JavaSpace  home,
BoolVar  b0,
BoolVar  b1,
boolean  b2 
) [static, inherited]

Post propagator for $ b_1 \otimes b_2 = b_3 $ (exclusive or).

Definition at line 1702 of file Gecode.java.

static synchronized void org.gecode.Gecode.linear_bool ( JavaSpace  home,
VarArray<?extends BoolVar >  x,
IntRelType  r,
int  c,
IntConLevel  arg4 
) [static, inherited]

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.

Definition at line 1994 of file Gecode.java.

static synchronized void org.gecode.Gecode.linear_bool ( JavaSpace  home,
VarArray<?extends BoolVar >  x,
IntRelType  r,
int  c 
) [static, inherited]

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r c$.

Definition at line 2003 of file Gecode.java.

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

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.

Definition at line 2011 of file Gecode.java.

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

Post propagator for $\sum_{i=0}^{|x|-1}x_i\sim_r y$.

Definition at line 2019 of file Gecode.java.