rel.hh File Reference
(Revision: 3579)
#include "gecode/int.hh"
#include "gecode/iter.hh"
#include "gecode/int/rel/eq.icc"
#include "gecode/int/rel/nq.icc"
#include "gecode/int/rel/lq-le.icc"
#include "gecode/int/rel/lex.icc"
Go to the source code of this file.
Namespaces | |
| namespace | Gecode::Int::Rel |
| namespace | Gecode |
| namespace | Gecode::Int |
Classes | |
| class | Gecode::Int::Rel::EqDom< View0, View1 > |
| Binary domain-consistent equality propagator. More... | |
| class | Gecode::Int::Rel::EqBnd< View0, View1 > |
| Binary bounds-consistent equality propagator. More... | |
| class | Gecode::Int::Rel::NaryEqDom< View > |
| n-ary domain-consistent equality propagator More... | |
| class | Gecode::Int::Rel::NaryEqBnd< View > |
| n-ary bounds-consistent equality propagator More... | |
| class | Gecode::Int::Rel::ReEqDom< View, CtrlView > |
| Reified binary domain-consistent equality propagator. More... | |
| class | Gecode::Int::Rel::ReEqBnd< View, CtrlView > |
| Reified binary bounds-consistent equality propagator. More... | |
| class | Gecode::Int::Rel::ReEqDomInt< View, CtrlView > |
| Reified domain-consistent equality with integer propagator. More... | |
| class | Gecode::Int::Rel::ReEqBndInt< View, CtrlView > |
| Reified bounds-consistent equality with integer propagator. More... | |
| class | Gecode::Int::Rel::Nq< View > |
| Binary disequality propagator. More... | |
| class | Gecode::Int::Rel::Lq< View > |
| Less or equal propagator. More... | |
| class | Gecode::Int::Rel::Le< View > |
| Less propagator. More... | |
| class | Gecode::Int::Rel::ReLq< View, CtrlView > |
| Reified less or equal propagator. More... | |
| class | Gecode::Int::Rel::ReLqInt< View, CtrlView > |
| Reified less or equal with integer propagator. More... | |
| class | Gecode::Int::Rel::Lex< View > |
| Lexical ordering propagator. More... | |
| class | Gecode::Int::Rel::NaryNq< View > |
| Propagator for n-ary disequlaity More... | |