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... | |
class | NaryNq |
Propagator for n-ary disequlaity More... |