Gecode::Int::Rel Namespace Reference

---

Detailed Description

Simple relation propagators.

Classes
class	EqDom
	Binary domain consistent 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	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	Lex
	Lexical ordering propagator. More...