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 . | |
void | Gecode::bool_eq (Space *home, BoolVar b0, BoolVar b1, IntConLevel=ICL_DEF) |
Post propagator for . | |
void | Gecode::bool_and (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF) |
Post propagator for . | |
void | Gecode::bool_and (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF) |
Post propagator for . | |
void | Gecode::bool_and (Space *home, const BoolVarArgs &b, BoolVar c, IntConLevel=ICL_DEF) |
Post propagator for . | |
void | Gecode::bool_and (Space *home, const BoolVarArgs &b, bool c, IntConLevel=ICL_DEF) |
Post propagator for . | |
void | Gecode::bool_or (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF) |
Post propagator for . | |
void | Gecode::bool_or (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF) |
Post propagator for . | |
void | Gecode::bool_or (Space *home, const BoolVarArgs &b, BoolVar c, IntConLevel=ICL_DEF) |
Post propagator for . | |
void | Gecode::bool_or (Space *home, const BoolVarArgs &b, bool c, IntConLevel=ICL_DEF) |
Post propagator for . | |
void | Gecode::bool_imp (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF) |
Post propagator for (implication). | |
void | Gecode::bool_imp (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF) |
Post propagator for (implication). | |
void | Gecode::bool_eqv (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF) |
Post propagator for (equivalence). | |
void | Gecode::bool_eqv (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF) |
Post propagator for (equivalence). | |
void | Gecode::bool_xor (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF) |
Post propagator for (exclusive or). | |
void | Gecode::bool_xor (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF) |
Post propagator for (exclusive or). |
Function Documentation
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for .
|
|
Post propagator for (implication).
|
|
Post propagator for (implication).
|
|
Post propagator for (equivalence).
|
|
Post propagator for (equivalence).
|
|
Post propagator for (exclusive or).
|
|
Post propagator for (exclusive or).
|