38 namespace Gecode {
namespace Set {
42 if ((n <
min) || (n >
max))
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l...
Exception: Value out of limits
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
const unsigned int card
Maximum cardinality of an integer set.
int n
Number of negative literals for node type.
unsigned int size(void) const
Return size (cardinality) of set.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Gecode toplevel namespace
int max(int i) const
Return maximum of range at position i.
int min(int i) const
Return minimum of range at position i.