Generated on Wed Nov 1 15:05:01 2006 for Gecode by doxygen 1.4.5

Boolean constraints
[Using finite domain integers]

Collaboration diagram for Boolean constraints:


Functions

void Gecode::bool_not (Space *home, BoolVar b0, BoolVar b1, IntConLevel=ICL_DEF)
 Post propagator for $ \lnot b_0 = b_1$.
void Gecode::bool_eq (Space *home, BoolVar b0, BoolVar b1, IntConLevel=ICL_DEF)
 Post propagator for $ b_0 = b_1$.
void Gecode::bool_and (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF)
 Post propagator for $ b_0 \land b_1 = b_2 $.
void Gecode::bool_and (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF)
 Post propagator for $ b_0 \land b_1 = b_2 $.
void Gecode::bool_and (Space *home, const BoolVarArgs &b, BoolVar c, IntConLevel=ICL_DEF)
 Post propagator for $ \bigwedge_{i=0}^{|b|-1} b_i = c$.
void Gecode::bool_and (Space *home, const BoolVarArgs &b, bool c, IntConLevel=ICL_DEF)
 Post propagator for $ \bigwedge_{i=0}^{|b|-1} b_i = c$.
void Gecode::bool_or (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF)
 Post propagator for $ b_0 \lor b_1 = b_2 $.
void Gecode::bool_or (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF)
 Post propagator for $ b_0 \lor b_1 = b_2 $.
void Gecode::bool_or (Space *home, const BoolVarArgs &b, BoolVar c, IntConLevel=ICL_DEF)
 Post propagator for $ \bigvee_{i=0}^{|b|-1} b_i = c$.
void Gecode::bool_or (Space *home, const BoolVarArgs &b, bool c, IntConLevel=ICL_DEF)
 Post propagator for $ \bigvee_{i=0}^{|b|-1} b_i = c$.
void Gecode::bool_imp (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF)
 Post propagator for $ b_0 \Rightarrow b_1 = b_2 $ (implication).
void Gecode::bool_imp (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF)
 Post propagator for $ b_0 \Rightarrow b_1 = b_2 $ (implication).
void Gecode::bool_eqv (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF)
 Post propagator for $ b_0 \Leftrightarrow b_1 = b_2 $ (equivalence).
void Gecode::bool_eqv (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF)
 Post propagator for $ b_0 \Leftrightarrow b_1 = b_2 $ (equivalence).
void Gecode::bool_xor (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF)
 Post propagator for $ b_1 \otimes b_2 = b_3 $ (exclusive or).
void Gecode::bool_xor (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF)
 Post propagator for $ b_1 \otimes b_2 = b_3 $ (exclusive or).

Function Documentation

void Gecode::bool_not (  Space *  home,
BoolVar  b0,
BoolVar  b1,
IntConLevel  = ICL_DEF
) 
 

Post propagator for $ \lnot b_0 = b_1$.

Definition at line 29 of file bool.cc.

void Gecode::bool_eq (  Space *  home,
BoolVar  b0,
BoolVar  b1,
IntConLevel  = ICL_DEF
) 
 

Post propagator for $ b_0 = b_1$.

Definition at line 36 of file bool.cc.

void Gecode::bool_and (  Space *  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 42 of file bool.cc.

void Gecode::bool_and (  Space *  home,
BoolVar  b0,
BoolVar  b1,
bool  b2,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 49 of file bool.cc.

void Gecode::bool_and (  Space *  home,
const BoolVarArgs &  b,
BoolVar  c,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 62 of file bool.cc.

void Gecode::bool_and (  Space *  home,
const BoolVarArgs &  b,
bool  c,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 72 of file bool.cc.

void Gecode::bool_or (  Space *  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 88 of file bool.cc.

void Gecode::bool_or (  Space *  home,
BoolVar  b0,
BoolVar  b1,
bool  b2,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 95 of file bool.cc.

void Gecode::bool_or (  Space *  home,
const BoolVarArgs &  b,
BoolVar  c,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 108 of file bool.cc.

void Gecode::bool_or (  Space *  home,
const BoolVarArgs &  b,
bool  c,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 114 of file bool.cc.

void Gecode::bool_imp (  Space *  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 128 of file bool.cc.

void Gecode::bool_imp (  Space *  home,
BoolVar  b0,
BoolVar  b1,
bool  b2,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 135 of file bool.cc.

void Gecode::bool_eqv (  Space *  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 149 of file bool.cc.

void Gecode::bool_eqv (  Space *  home,
BoolVar  b0,
BoolVar  b1,
bool  b2,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 155 of file bool.cc.

void Gecode::bool_xor (  Space *  home,
BoolVar  b0,
BoolVar  b1,
BoolVar  b2,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 166 of file bool.cc.

void Gecode::bool_xor (  Space *  home,
BoolVar  b0,
BoolVar  b1,
bool  b2,
IntConLevel  = ICL_DEF
) 
 

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

Definition at line 173 of file bool.cc.