Exception: dynamic cast failed More...
#include <exception.hpp>
Public Member Functions | |
DynamicCastFailed (const char *l) | |
Initialize with location l. |
Exception: dynamic cast failed
Gecode::DynamicCastFailed::DynamicCastFailed | ( | const char * | l | ) | [inline] |
Initialize with location l.
Definition at line 93 of file exception.hpp.