45 Rnd::IMP::copy(
void)
const {
46 return new IMP(rg.seed());
54 if (
object() == NULL) {
57 static_cast<IMP*
>(
object())->rg.seed(s);
unsigned int seed(void) const
Return current seed.
Rnd(void)
Default constructor that does not initialize the generator.
SharedHandle::Object * object(void) const
Access to the shared object.
Gecode toplevel namespace