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.
Rnd & operator=(const Rnd &r)
Assignment operator.
void time(void)
Set current seed based on time (initializes if needed)
Rnd(void)
Default constructor that does not initialize the generator.
void hw(void)
Set current seed to hardware-based random number (initializes if needed)
SharedHandle(void)
Create shared handle with no object pointing to.
SharedHandle::Object * object(void) const
Access to the shared object.
A mutex for mutual exclausion among several threads.
unsigned int hwrnd(void)
Return hardware generated random number.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r