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 ![]() | |
void | Gecode::bool_imp (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::bool_eqv (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::bool_eqv (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::bool_xor (Space *home, BoolVar b0, BoolVar b1, BoolVar b2, IntConLevel=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::bool_xor (Space *home, BoolVar b0, BoolVar b1, bool b2, IntConLevel=ICL_DEF) |
Post propagator for ![]() |
Function Documentation
void Gecode::bool_not | ( | Space * | home, | |
BoolVar | b0, | |||
BoolVar | b1, | |||
IntConLevel | = ICL_DEF | |||
) |
void Gecode::bool_eq | ( | Space * | home, | |
BoolVar | b0, | |||
BoolVar | b1, | |||
IntConLevel | = ICL_DEF | |||
) |
void Gecode::bool_and | ( | Space * | home, | |
BoolVar | b0, | |||
BoolVar | b1, | |||
BoolVar | b2, | |||
IntConLevel | = ICL_DEF | |||
) |
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 | |||
) |
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 | |||
) |
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 | |||
) |
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 | |||
) |
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 | |||
) |
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 | |||
) |
void Gecode::bool_xor | ( | Space * | home, | |
BoolVar | b0, | |||
BoolVar | b1, | |||
bool | b2, | |||
IntConLevel | = ICL_DEF | |||
) |
Post propagator for (exclusive or).