Generated on Wed Nov 1 15:04:49 2006 for Gecode by doxygen 1.4.5
gecode » int

bool.cc File Reference

(Revision: 3367)

#include "gecode/int/bool.hh"

Go to the source code of this file.

Namespaces

namespace  Gecode

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