48 static const int li_max = 127;
54 virtual const char* what(
void)
const throw();
90 :
Exception(
"Memory",
"Heap memory exhausted") {}
94 :
Exception(l,
"Attempt to perform dynamic_cast failed") {}
98 :
Exception(l,
"Operating system error") {}
DynamicCastFailed(const char *l)
Initialize with location l.
Exception: Memory exhausted
Gecode::IntArgs i(4, 1, 2, 3, 4)
Exception: operating system error
Exception: dynamic cast failed
#define GECODE_SUPPORT_EXPORT
MemoryExhausted(void)
Initialize.
Exception: Base-class for exceptions
Gecode toplevel namespace
OperatingSystemError(const char *l)
Initialize with location l.
#define GECODE_VTABLE_EXPORT