Exception: uninitialized random number generator More...
#include <exception.hpp>
Public Member Functions | |
UninitializedRnd (const char *l) | |
Initialize with location l. |
Exception: uninitialized random number generator
Definition at line 111 of file exception.hpp.
Gecode::UninitializedRnd::UninitializedRnd | ( | const char * | l | ) | [inline] |
Initialize with location l.
Definition at line 162 of file exception.hpp.