bool.hh File Reference

(Revision: 5993)

#include "gecode/int.hh"
#include "gecode/int/bool/base.icc"
#include "gecode/int/bool/eq.icc"
#include "gecode/int/bool/lq.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::NaryEq< BV >
	n-ary Boolean equality propagator More...
class	Gecode::Int::Bool::Lq< BV >
	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< BV >
	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...