Gecode::Int::Bool Namespace Reference
Detailed Description
Boolean propagators.
Classes | |
| class | BoolBinary |
| Base-class for binary Boolean propagators. More... | |
| class | BoolTernary |
| Base-class for ternary Boolean propagators. More... | |
| class | Eq |
| Boolean equality propagator. More... | |
| class | OrTrue |
| Boolean disjunction propagator (true). More... | |
| class | Or |
| Boolean disjunction propagator. More... | |
| class | NaryOr |
| Boolean n-ary disjunction propagator. More... | |
| class | NaryOrTrue |
| Boolean n-ary disjunction propagator (true). More... | |
| class | Eqv |
| Boolean equivalence propagator. More... | |