Distribution
This section of the manual describes the Distribution
module.
ReachabilityBase.Distribution
— ModuleDistribution
This module provides some light-weight random number functionality.
ReachabilityBase.Distribution.reseed!
— Functionreseed!(rng::AbstractRNG, seed::Union{Int, Nothing})
Reset the RNG seed if the seed argument is a number.
Input
rng
– random number generatorseed
– seed for reseeding, ornothing
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.
ReachabilityBase.Distribution.DefaultUniform
— TypeDefaultUniform{N}
Represents a uniform distribution over an interval $[a, b]$.
Fields
a
– lower boundb
– upper bound