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.