45 static const int li_max = 127;
50 Exception(
const char*
l,
const char* i)
throw ();
52 virtual const char* what(
void)
const throw();
Exception: dynamic cast failed
Exception: Base-class for exceptions
Exception: Memory exhausted
Exception: operating system error
Gecode toplevel namespace
#define GECODE_SUPPORT_EXPORT