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