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.