44 while ((*l != 0) && (j < li_max))
50 while ((*i != 0) && (j < li_max))
64 :
Exception(
"Memory",
"Heap memory exhausted") {}
67 :
Exception(l,
"Attempt to perform dynamic_cast failed") {}
70 :
Exception(l,
"Operating system error") {}
DynamicCastFailed(const char *l)
Initialize with location l.
virtual const char * what(void) const
Return information.
Exception(const char *l, const char *i)
Initialize with location l and information i.
MemoryExhausted(void)
Initialize.
OperatingSystemError(const char *l)
Initialize with location l.
Gecode toplevel namespace