@@ -0,0 +1,929 @@
+package de.tudresden.inf.lat.born.owlapi.multiprocessor;%0A%0A/**%0A * Pseudorandom number generator. This is based on a Lehmer random number%0A * generator.%0A * %0A * @author Julian Mendez%0A * %0A */%0Apublic class PseudorandomNumberGenerator %7B%0A%0A%09public int MULTIPLIER = 0xBC8F;%0A%09public int MASK = 0xFFFF;%0A%09public int BITS_TO_SHIFT = 0x10;%0A%0A%09private int seed;%0A%0A%09/**%0A%09 * Constructs a pseudorandom number generator using a given seed.%0A%09 * %0A%09 * @param seed%0A%09 *            seed%0A%09 */%0A%09public PseudorandomNumberGenerator(int seed) %7B%0A%09%09this.seed = seed;%0A%09%7D%0A%0A%09/**%0A%09 * Returns a number obtained using a pseudorandom number generator.%0A%09 * %0A%09 * @return a number obtained using a pseudorandom number generator%0A%09 * %0A%09 */%0A%09public int nextInt() %7B%0A%09%09this.seed = (MULTIPLIER * (this.seed & MASK)) + (this.seed %3E%3E BITS_TO_SHIFT);%0A%09%09return this.seed;%0A%09%7D%0A%0A%09/**%0A%09 * Returns the seed.%0A%09 * %0A%09 * @return the seed%0A%09 */%0A%09public int getSeed() %7B%0A%09%09return this.seed;%0A%09%7D%0A%0A%7D%0A

Add pseudorandom number generator