equal
deleted
inserted
replaced
77 /** |
77 /** |
78 * An actually useful random number generator, but unsynchronized. |
78 * An actually useful random number generator, but unsynchronized. |
79 * Basically same as java.util.Random. |
79 * Basically same as java.util.Random. |
80 */ |
80 */ |
81 public static class SimpleRandom { |
81 public static class SimpleRandom { |
82 private final static long multiplier = 0x5DEECE66DL; |
82 private static final long multiplier = 0x5DEECE66DL; |
83 private final static long addend = 0xBL; |
83 private static final long addend = 0xBL; |
84 private final static long mask = (1L << 48) - 1; |
84 private static final long mask = (1L << 48) - 1; |
85 static final AtomicLong seq = new AtomicLong(1); |
85 static final AtomicLong seq = new AtomicLong(1); |
86 private long seed = System.nanoTime() + seq.getAndIncrement(); |
86 private long seed = System.nanoTime() + seq.getAndIncrement(); |
87 |
87 |
88 public void setSeed(long s) { |
88 public void setSeed(long s) { |
89 seed = s; |
89 seed = s; |