Distribution
This section of the manual describes the Distribution module.
ReachabilityBase.Distribution — ModuleDistributionThis 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