Reset rand generator to last seed

rand_reset  

Resets the random stream to the last specified seed. See use_random_seed for changing the seed.

Introduced in v2.7

Example

# Example 1

puts rand
  puts rand
  puts rand
  puts rand
  rand_reset 
  puts rand



# prints 0.75006103515625
# prints 0.733917236328125
# prints 0.464202880859375
# prints 0.24249267578125
# reset the random stream
# prints 0.75006103515625