Generated on Wed Jan 4 17:49:17 2006 for Gecode by doxygen 1.4.6

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, const BoolVarArgs &b, BoolVar 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, const BoolVarArgs &b, BoolVar 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_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_xor (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF)
 Post propagator for $ b_1 \otimes b_2 = b_3 $ (exclusive or).


Function Documentation

GECODE_INT_EXPORT 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.

GECODE_INT_EXPORT 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.

GECODE_INT_EXPORT 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.

GECODE_INT_EXPORT 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 80 of file bool.cc.

GECODE_INT_EXPORT 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 49 of file bool.cc.

GECODE_INT_EXPORT 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 86 of file bool.cc.

GECODE_INT_EXPORT 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 57 of file bool.cc.

GECODE_INT_EXPORT 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 65 of file bool.cc.

GECODE_INT_EXPORT 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 72 of file bool.cc.