+
Point of view
All features
class PRESS_RANDOM_NUMBER_GENERATOR
-
good_seed: seed > 0 and seed < im
is 32
constant attribute
{}
require
-
valid_seed: seed_value > 0 and seed_value < im
-
valid_seed: seed_value > 0 and seed_value < im
require
ensure
- 1 <= Result and Result <= n
ensure
- Result > 0 and Result <= 1
is 2147483647
constant attribute
{}
is 16807
constant attribute
{}
is 127773
constant attribute
{}
is 2836
constant attribute
{}