38 namespace Gecode {
namespace Set {
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 min(int i) const
Return minimum of range at position i.
int n
Number of negative literals for node type.
int max(int i) const
Return maximum of range at position i.
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