RNG

public final class RNG

Random number generator for STORMsim. Ensures repeatability.

Author:stefko

Methods

getGammaGenerator

public static Gamma getGammaGenerator()
Returns:Gamma distribution RNG

getGaussianGenerator

public static Normal getGaussianGenerator()
Returns:Gaussian distribution RNG

getPoissonGenerator

public static Poisson getPoissonGenerator()
Returns:Poisson RNG

getUniformGenerator

public static Random getUniformGenerator()
Returns:uniform RNG

setSeed

public static void setSeed(int seed)

This resets the generators

Parameters:
  • seed