public JDKRandomGeneratorFactory(long seed) { random.setSeed(seed); }
/** * Create a new JDKRandomGenerator with the given seed. * * @param seed initial seed * @since 3.6 */ public JDKRandomGenerator(int seed) { setSeed(seed); }
/** {@inheritDoc} */ public void setSeed(int seed) { setSeed((long) seed); }
@Override public JDKRandomGenerator generator() { JDKRandomGenerator random = new JDKRandomGenerator(); random.setSeed(seed); return random; } }
/** {@inheritDoc} */ public void setSeed(int[] seed) { setSeed(RandomGeneratorFactory.convertToLong(seed)); } }
/** * Create a new JDKRandomGenerator with the given seed. * * @param seed initial seed * @since 3.6 */ public JDKRandomGenerator(int seed) { setSeed(seed); }
/** * Create a new JDKRandomGenerator with the given seed. * * @param seed initial seed * @since 3.6 */ public JDKRandomGenerator(int seed) { setSeed(seed); }
/** {@inheritDoc} */ public void setSeed(int seed) { setSeed((long) seed); }
/** {@inheritDoc} */ public void setSeed(int seed) { setSeed((long) seed); }
public JDKRandomGeneratorFactory(long seed) { random.setSeed(seed); }
public JDKRandomGeneratorFactory(long seed) { random.setSeed(seed); }
public JDKRandomGeneratorFactory(long seed) { random.setSeed(seed); }
/** {@inheritDoc} */ public void setSeed(int[] seed) { setSeed(RandomGeneratorFactory.convertToLong(seed)); } }
@Override public JDKRandomGenerator generator() { JDKRandomGenerator random = new JDKRandomGenerator(); random.setSeed(seed); return random; } }
/** {@inheritDoc} */ public void setSeed(int[] seed) { setSeed(RandomGeneratorFactory.convertToLong(seed)); } }
@Override public JDKRandomGenerator generator() { JDKRandomGenerator random = new JDKRandomGenerator(); random.setSeed(seed); return random; } }
@Override public JDKRandomGenerator generator() { JDKRandomGenerator random = new JDKRandomGenerator(); random.setSeed(seed); return random; } }
public RandomGeneratorImpl() { JDKRandomGenerator rg = new JDKRandomGenerator(); rg.setSeed(System.currentTimeMillis()); generator = new UniformRandomGenerator(rg); }
rndGen.setSeed(123);
rndGen.setSeed(123);