Exception: unknown brancher More...
#include <exception.hpp>
Public Member Functions | |
UnknownBrancher (const char *l) | |
Initialize with location l. | |
![]() | |
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 brancher
Definition at line 100 of file exception.hpp.
Gecode::UnknownBrancher::UnknownBrancher | ( | const char * | l | ) |
Initialize with location l.
Definition at line 62 of file exception.cpp.