Gecode::Int::Rel Namespace Reference

Simple relation propagators. More...

Classes
class	EqDom
	Binary domain consistent equality propagator. More...
class	EqVal
	Binary value propagation equality propagator. More...
class	EqBnd
	Binary bounds consistent equality propagator. More...
class	NaryEqDom
	n-ary domain consistent equality propagator More...
class	NaryEqBnd
	n-ary bounds consistent equality propagator More...
class	NaryLqLe
	n-ary less and less or equal propagator More...
class	NaryNq
	Nary disequality propagator. More...
class	ReEqDom
	Reified binary domain consistent equality propagator. More...
class	ReEqBnd
	Reified binary bounds consistent equality propagator. More...
class	ReEqDomInt
	Reified domain consistent equality with integer propagator. More...
class	ReEqBndInt
	Reified bounds consistent equality with integer propagator. More...
class	Nq
	Binary disequality propagator. More...
class	Lq
	Less or equal propagator. More...
class	Le
	Less propagator. More...
class	ReLq
	Reified less or equal propagator. More...
class	ReLqInt
	Reified less or equal with integer propagator. More...
class	LexLqLe
	Lexical ordering propagator. More...
class	LexNq
	Lexical disequality propagator. More...

---

Detailed Description

Simple relation propagators.