34namespace Gecode {
namespace Set {
int n
Number of negative literals for node type.
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 unsigned int card
Maximum cardinality of an integer set.
Gecode toplevel namespace
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .