Generated on Mon Aug 25 11:35:53 2008 for Gecode by doxygen 1.5.6

Gecode::Set::Limits Namespace Reference

Detailed Description

Numerical limits for set variables.

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.

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.icc.

 void Gecode::Set::Limits::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 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.icc.

Variable Documentation

 const int Gecode::Set::Limits::max = (Gecode::Int::Limits::max / 2) - 1

Largest allowed integer in integer set.

Definition at line 92 of file set.hh.

 const int Gecode::Set::Limits::min = -max

Smallest allowed integer in integer set.

Definition at line 94 of file set.hh.

 const unsigned int Gecode::Set::Limits::card = max-min+1

Maximum cardinality of an integer set.

Definition at line 96 of file set.hh.