Exception: dynamic cast failed More...
#include <exception.hpp>
Public Member Functions | |
DynamicCastFailed (const char *l) | |
Initialize with location l. | |
Public Member Functions inherited from Gecode::Exception | |
Exception (const char *l, const char *i) throw () | |
Initialize with location l and information i. | |
virtual const char * | what (void) const throw () |
Return information. |
Exception: dynamic cast failed
Definition at line 69 of file exception.hpp.
Gecode::DynamicCastFailed::DynamicCastFailed | ( | const char * | l | ) |
Initialize with location l.
Definition at line 66 of file exception.cpp.