bool.hh File Reference
(Revision: 3600)
#include "gecode/int.hh"
#include "gecode/int/bool/base.icc"
#include "gecode/int/bool/eq.icc"
#include "gecode/int/bool/or.icc"
#include "gecode/int/bool/eqv.icc"
Go to the source code of this file.
Namespaces | |
| namespace | Gecode::Int::Bool |
| namespace | Gecode |
| namespace | Gecode::Int |
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::OrTrue< BVA, BVB > |
| Boolean disjunction propagator (true). More... | |
| class | Gecode::Int::Bool::Or< BVA, BVB, BVC > |
| Boolean disjunction propagator. More... | |
| class | Gecode::Int::Bool::NaryOr< View > |
| Boolean n-ary disjunction propagator. More... | |
| class | Gecode::Int::Bool::NaryOrTrue< View > |
| Boolean n-ary disjunction propagator (true). More... | |
| class | Gecode::Int::Bool::Eqv< BVA, BVB, BVC > |
| Boolean equivalence propagator. More... | |