Gecode::Set::Limits Namespace Reference
Numerical limits for set variables. More...
Functions | |
void | check (int n, const char *l) |
Check whether integer n is in range, otherwise throw overflow exception with information l. | |
void | check (unsigned int n, const char *l) |
Check whether unsigned int n is in range for cardinality, otherwise throw overflow exception with information l. | |
void | check (const IntSet &s, const char *l) |
Check whether minimum and maximum of IntSet s is in range, otherwise throw overflow exception with information l. | |
Variables | |
const int | max = (Gecode::Int::Limits::max / 2) - 1 |
Largest allowed integer in integer set. | |
const int | min = -max |
Smallest allowed integer in integer set. | |
const unsigned int | card = max-min+1 |
Maximum cardinality of an integer set. |
Detailed Description
Numerical limits for set variables.
Function Documentation
void Gecode::Set::Limits::check | ( | int | n, | |
const char * | l | |||
) | [inline] |
Check whether integer n is in range, otherwise throw overflow exception with information l.
Definition at line 41 of file limits.hpp.
void Gecode::Set::Limits::check | ( | unsigned int | n, | |
const char * | l | |||
) | [inline] |
Check whether unsigned int n is in range for cardinality, otherwise throw overflow exception with information l.
Definition at line 47 of file limits.hpp.
void Gecode::Set::Limits::check | ( | const IntSet & | s, | |
const char * | l | |||
) | [inline] |
Check whether minimum and maximum of IntSet s is in range, otherwise throw overflow exception with information l.
Definition at line 53 of file limits.hpp.
Variable Documentation
const int Gecode::Set::Limits::max = (Gecode::Int::Limits::max / 2) - 1 |
const int Gecode::Set::Limits::min = -max |
const unsigned int Gecode::Set::Limits::card = max-min+1 |