Gecode::Float::Rel Namespace Reference

Simple relation propagators. More...

Classes
class	Eq
	Binary bounds consistent equality propagator. More...
class	NaryEq
	n-ary bounds consistent equality propagator More...
class	ReEq
	Reified binary bounds consistent equality propagator. More...
class	ReEqFloat
	Reified bounds consistent equality with float propagator. More...
class	Nq
	Binary bounds consistent disequality propagator. More...
class	NqFloat
	Binary bounds consistent disequality propagator with float value. More...
class	Lq
	Less or equal propagator. More...
class	Le
	Less propagator. More...
class	ReLqFloat
	Reified less or equal with float propagator. More...
class	ReLeFloat
	Reified less with float propagator. More...
class	ReLq
	Reified less or equal propagator. More...

---

Detailed Description

Simple relation propagators.