Distribution

This section of the manual describes the Distribution module.

ReachabilityBase.Distribution.reseed!Function
reseed!(rng::AbstractRNG, seed::Union{Int, Nothing})

Reset the RNG seed if the seed argument is a number.

Input

  • rng – random number generator
  • seed – seed for reseeding, or nothing

Output

The input RNG if the seed is nothing, and a reseeded RNG otherwise.

Notes

This is a convenience function to be called unconditionally. The motivation is to simplify library code, with seed as user input.

source