48 while ((*
l != 0) && (j < li_max))
54 while ((*
i != 0) && (j < li_max))
68 :
Exception(
"Memory",
"Heap memory exhausted") {}
71 :
Exception(l,
"Attempt to perform dynamic_cast failed") {}
74 :
Exception(l,
"Operating system error") {}
DynamicCastFailed(const char *l)
Initialize with location l.
Exception(const char *l, const char *i)
Initialize with location l and information i.
Gecode::IntArgs i(4, 1, 2, 3, 4)
virtual const char * what(void) const
Return information.
MemoryExhausted(void)
Initialize.
Exception: Base-class for exceptions
Gecode toplevel namespace
OperatingSystemError(const char *l)
Initialize with location l.