+
Point of view
All features
class PRESS_RANDOM_NUMBER_GENERATOR
Summary
Class invariant
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.
features
  • make
    Create (or reset) the random number generator with an automatic hazardous setting of the seed_value based on the CPU clock.
writable attribute
ntab: INTEGER_32
constant attribute
writable attribute
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).
constant attribute
constant attribute
constant attribute
constant attribute
seed: INTEGER_32
writable attribute
make
effective procedure
Create (or reset) the random number generator with an automatic hazardous setting of the seed_value based on the CPU clock.
clock_based_random_seed: INTEGER_32
effective function
Some positive random value to be used as a seed which may change as much as possible in a random way.