44 Support::Mutex Rnd::IMP::m;
47 Rnd::IMP::IMP(
unsigned int s)
50 Rnd::IMP::~IMP(
void) {}
53 Rnd::_seed(
unsigned int s) {
54 if (
object() == NULL) {
57 static_cast<IMP*
>(object())->seed(s);
69 (void) SharedHandle::operator =(r);
80 _seed(static_cast<unsigned int>(::
time(NULL)));
unsigned int seed(void) const
Return current seed.
void time(void)
Set current seed based on time (initializes if needed)
Rnd(void)
Default constructor that does not initialize the generator.
Rnd & operator=(const Rnd &r)
Assignment operator.
Post propagator for SetVar SetOpType SetVar SetRelType r
void hw(void)
Set current seed to hardware-based random number (initializes if needed)
Gecode toplevel namespace
unsigned int hwrnd(void)
Return hardware generated random number.