Generated on Thu Mar 22 10:40:00 2012 for Gecode by doxygen 1.6.3

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

Largest allowed integer in integer set.

Definition at line 99 of file set.hh.

Smallest allowed integer in integer set.

Definition at line 101 of file set.hh.

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

Maximum cardinality of an integer set.

Definition at line 103 of file set.hh.