Exception: unknown propagator More...
#include <exception.hpp>
Public Member Functions | |
UnknownPropagator (const char *l) | |
Initialize with location l. More... | |
![]() | |
Exception (const char *l, const char *i) throw () | |
Initialize with location l and information i. More... | |
virtual const char * | what (void) const throw () |
Return information. More... | |
Exception: unknown propagator
Definition at line 90 of file exception.hpp.
Gecode::UnknownPropagator::UnknownPropagator | ( | const char * | l | ) |
Initialize with location l.
Definition at line 60 of file exception.cpp.