Exception: uninitialized random number generator More...
#include <exception.hpp>
Public Member Functions | |
UninitializedRnd (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: uninitialized random number generator
Definition at line 142 of file exception.hpp.
Gecode::UninitializedRnd::UninitializedRnd | ( | const char * | l | ) |
Initialize with location l.
Definition at line 74 of file exception.cpp.