45 static const int li_max = 127;
50 Exception(
const char* l,
const char* i)
throw ();
52 virtual const char*
what(
void)
const throw();
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
#define GECODE_SUPPORT_EXPORT