45 Rnd::IMP::IMP(
unsigned int s)
48 Rnd::IMP::~IMP(
void) {}
51 Rnd::IMP::copy(
void)
const {
52 return new IMP(rg.seed());
56 Rnd::_seed(
unsigned int s) {
57 if (
object() == NULL) {
60 static_cast<IMP*
>(object())->rg.seed(s);
72 (void) SharedHandle::operator =(r);
83 _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.