/** * Sets the seed of the default random number generator * @param seed the seed to use * @return the default random number generator */ public static Random seedDefault(long seed){ return factory.inseedDefault(seed); }
/** * Sets the seed of the default random number generator * @param seed the seed to use * @return the default random number generator */ public static Random seedDefault(long seed){ return factory.inseedDefault(seed); }