+
Point of view
ANY
class PRESS_RANDOM_NUMBER_GENERATOR
Summary
Overview
creation features
  • with_seed (seed_value: INTEGER_32)
    Create (or reset) the random number generator with an explicit seed_value.
  • make
    Create (or reset) the random number generator with an automatic hazardous setting of the seed_value based on the CPU clock.
exported features
  • make
    Create (or reset) the random number generator with an automatic hazardous setting of the seed_value based on the CPU clock.
with_seed (seed_value: INTEGER_32)
effective procedure
Create (or reset) the random number generator with an explicit seed_value.
next
effective procedure
Prepare the next random number in sequence.
last_integer (n: INTEGER_32): INTEGER_32
effective function
The last computed number in range 1 to n(see ensure).
last_real: REAL_64
effective function
The last computed number in range 0.0 to 1.0 excluded (see ensure).
make
effective procedure
Create (or reset) the random number generator with an automatic hazardous setting of the seed_value based on the CPU clock.