+
Point of view
ANY
class MINIMAL_RANDOM_NUMBER_GENERATOR
Summary
Overview
creation 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)
    Create (or reset) the random number generator with an explicit seed_value.
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)
    Create (or reset) the random number generator with an explicit seed_value.
  • next
    Prepare the next random number in sequence.
  • last_real: REAL_64
    The last computed number in range 0.0 to 1.0 excluded (see ensure).
  • last_integer (n: INTEGER_32): INTEGER_32
    The last computed number in range 1 to n(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.
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_real: REAL_64
effective function
The last computed number in range 0.0 to 1.0 excluded (see ensure).
last_integer (n: INTEGER_32): INTEGER_32
effective function
The last computed number in range 1 to n(see ensure).