Generated on Thu Jul 6 07:06:55 2006 for Gecode by doxygen 1.4.7

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

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.

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

Definition at line 49 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 $.

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.

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

Definition at line 57 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).

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.

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

Definition at line 72 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).