40 Support::Mutex Rnd::IMP::m;
43 Rnd::IMP::IMP(
unsigned int s)
46 Rnd::IMP::~IMP(
void) {}
49 Rnd::_seed(
unsigned int s) {
50 if (
object() == NULL) {
53 static_cast<IMP*
>(object())->seed(s);
58 Rnd::Rnd(
unsigned int s) {
65 (void) SharedHandle::operator =(
r);
76 _seed(
static_cast<unsigned int>(
::time(NULL)));
unsigned int seed(void) const
Return current seed.
Rnd & operator=(const Rnd &r)
Assignment operator.
void time(void)
Set current seed based on time (initializes if needed)
void hw(void)
Set current seed to hardware-based random number (initializes if needed)
unsigned int hwrnd(void)
Return hardware generated random number.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r