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);
65 (void) SharedHandle::operator =(r);
76 _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.