bnd.hpp File Reference
(Revision: 10684)
Go to the source code of this file.
Classes | |
| class | Gecode::Int::Distinct::Rank |
| Rank information More... | |
| class | Gecode::Int::Distinct::MaxInc< View > |
| Sort-order by increasing maximum. More... | |
| class | Gecode::Int::Distinct::MinInc< View > |
| Sort-order by increasing minimum. More... | |
| class | Gecode::Int::Distinct::HallInfo |
| Information on Hall intervals. More... | |
Namespaces | |
| namespace | Gecode |
Gecode toplevel namespace | |
| namespace | Gecode::Int |
Finite domain integers. | |
| namespace | Gecode::Int::Distinct |
Distinct propagators | |
Defines | |
| #define | GECODE_INT_MINSORTED(i) (i) |
| #define | GECODE_INT_MAXSORTED(i) (_maxsorted[i]) |
Functions | |
| void | Gecode::Int::Distinct::pathset_t (HallInfo hall[], int start, int end, int to) |
| void | Gecode::Int::Distinct::pathset_h (HallInfo hall[], int start, int end, int to) |
| int | Gecode::Int::Distinct::pathmin_h (const HallInfo hall[], int i) |
| int | Gecode::Int::Distinct::pathmin_t (const HallInfo hall[], int i) |
| int | Gecode::Int::Distinct::pathmax_h (const HallInfo hall[], int i) |
| int | Gecode::Int::Distinct::pathmax_t (const HallInfo hall[], int i) |
| template<class View > | |
| ExecStatus | Gecode::Int::Distinct::prop_bnd (Space &home, ViewArray< View > &x) |