38 if ((n <
min) || (n >
max))
int min(int i) const
Return minimum of range at position i.
int max(int i) const
Return maximum of range at position i.
unsigned int size(void) const
Return size (cardinality) of set.
Exception: Value out of limits
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l.
const int min
Smallest allowed integer in integer set.
const unsigned int card
Maximum cardinality of an integer set.
const int max
Largest allowed integer in integer set.
Gecode toplevel namespace