45 static const int li_max = 127;
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
Gecode::IntArgs i({1, 2, 3, 4})
#define GECODE_SUPPORT_EXPORT