Support exceptions
[Gecode exceptions]
Classes | |
class | Gecode::MemoryExhausted |
Exception: Memory exhausted More... | |
class | Gecode::DynamicCastFailed |
Exception: dynamic cast failed More... | |
class | Gecode::OperatingSystemError |
Exception: operating system error More... |