Exception: unknown propagator More...
#include <exception.hpp>
Public Member Functions | |
UnknownPropagator (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: unknown propagator
Definition at line 86 of file exception.hpp.
Gecode::UnknownPropagator::UnknownPropagator | ( | const char * | l | ) |
Initialize with location l.
Definition at line 56 of file exception.cpp.