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