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... |