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