/** * Constructs and returns a random number generator with the given seed. * @param seed should not be 0, in such a case <tt>DRand.DEFAULT_SEED</tt> is substituted. */ public DRand(int seed) { setSeed(seed); } /**
/** * Constructs and returns a random number generator with the given seed. * @param seed should not be 0, in such a case <tt>DRand.DEFAULT_SEED</tt> is substituted. */ public DRand(int seed) { setSeed(seed); } /**
/** * Constructs and returns a random number generator with the given seed. * * @param seed * should not be 0, in such a case <tt>DRand.DEFAULT_SEED</tt> is * substituted. */ public DRand(int seed) { setSeed(seed); }