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") {}
DynamicCastFailed(const char *l)
Initialize with location l.
Exception: Base-class for exceptions
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