bool.hh File Reference
`#include <gecode/int.hh>`
`#include <gecode/int/bool/base.hpp>`
`#include <gecode/int/bool/eq.hpp>`
`#include <gecode/int/bool/lq.hpp>`
`#include <gecode/int/bool/or.hpp>`
`#include <gecode/int/bool/eqv.hpp>`
`#include <gecode/int/bool/clause.hpp>`
`#include <gecode/int/bool/ite.hpp>`

Go to the source code of this file.

## Classes

class | Gecode::Int::Bool::BoolBinary< BVA, BVB >
| Base-class for binary Boolean propagators. More...
class | Gecode::Int::Bool::BoolTernary< BVA, BVB, BVC >
| Base-class for ternary Boolean propagators. More...
class | Gecode::Int::Bool::Eq< BVA, BVB >
| Boolean equality propagator. More...
class | Gecode::Int::Bool::NaryEq< BV >
| n-ary Boolean equality propagator More...
class | Gecode::Int::Bool::Lq< BV >
| Boolean less or equal propagator. More...
class | Gecode::Int::Bool::NaryLq< VX >
| Nary Boolean less or equal propagator. More...
class | Gecode::Int::Bool::Le< BV >
| Boolean less propagator. More...
class | Gecode::Int::Bool::BinOrTrue< BVA, BVB >
| Binary Boolean disjunction propagator (true). More...
class | Gecode::Int::Bool::TerOrTrue< BV >
| Ternary Boolean disjunction propagator (true). More...
class | Gecode::Int::Bool::QuadOrTrue< BV >
| Quarternary Boolean disjunction propagator (true). More...
class | Gecode::Int::Bool::Or< BVA, BVB, BVC >
| Boolean disjunction propagator. More...
class | Gecode::Int::Bool::NaryOr< VX, VY >
| Boolean n-ary disjunction propagator. More...
class | Gecode::Int::Bool::NaryOrTrue< BV >
| Boolean n-ary disjunction propagator (true). More...
class | Gecode::Int::Bool::Eqv< BVA, BVB, BVC >
| Boolean equivalence propagator. More...
class | Gecode::Int::Bool::NaryEqv
| Boolean n-ary equivalence propagator. More...
class | Gecode::Int::Bool::Clause< VX, VY >
| Boolean clause propagator (disjunctive). More...
class | Gecode::Int::Bool::Clause< VX, VY >::Tagged
| Advisors for views (tagged whether for x or y) More...
class | Gecode::Int::Bool::ClauseTrue< VX, VY >
| Boolean clause propagator (disjunctive, true). More...
class | Gecode::Int::Bool::IteBase< V0, V1, V2, pc >
| If-then-else propagator base-class. More...
class | Gecode::Int::Bool::IteBnd< V0, V1, V2 >
| If-then-else bounds-consistent propagator. More...
class | Gecode::Int::Bool::IteDom< V0, V1, V2 >
| If-then-else domain-consistent propagator. More...

## Namespaces

namespace | Gecode::Int::Bool
| Boolean propagators.
namespace | Gecode
| Gecode toplevel namespace
namespace | Gecode::Int
| Finite domain integers.