Gecode::Int::Bool Namespace Reference

---

Detailed Description

Boolean propagators.

Classes
class	OrTrueSubsumed
	Binary Boolean disjunction propagator (subsumed). More...
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	NaryEq
	n-ary Boolean equality propagator More...
class	Lq
	Boolean less or equal propagator. More...
class	Le
	Boolean less propagator. More...
class	BinOrTrue
	Binary Boolean disjunction propagator (true). More...
class	TerOrTrue
	Ternary Boolean disjunction propagator (true). More...
class	QuadOrTrue
	Quarternary 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...