45 static const int li_max = 127;
52 virtual const char* what(
void)
const throw();
66 MemoryExhausted(
void);
Exception: operating system error
Gecode::IntArgs i({1, 2, 3, 4})
Exception: dynamic cast failed
#define GECODE_SUPPORT_EXPORT
Exception: Base-class for exceptions
Gecode toplevel namespace