62 void _seed(
unsigned int s);
81 void seed(
unsigned int s);
89 unsigned int seed(
void)
const;
93 operator bool(
void)
const;
98 const IMP*
i =
static_cast<const IMP*
>(
object());
103 IMP*
i =
static_cast<IMP*
>(
object());
107 Rnd::operator bool(
void)
const {
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.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
SharedHandle::Object * object(void) const
Access to the shared object.
Template for linear congruential generators.
#define GECODE_KERNEL_EXPORT
unsigned int operator()(unsigned int n)
Return a random integer from the interval [0..n)
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