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