Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / src / edu / tamu / aser / rvtest_simple_tests / MyRandom.java

diff --git a/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/MyRandom.java b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/MyRandom.java
new file mode 100644 (file)
index 0000000..9ef4881
--- /dev/null
+++ b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest_simple_tests/MyRandom.java
@@ -0,0 +1,22 @@
+package edu.tamu.aser.rvtest_simple_tests;
+
+import java.util.Random;
+
+/**
+ * Created by IntelliJ IDEA.
+ * User: ksen
+ * Date: May 30, 2007
+ * Time: 8:16:47 PM
+ * To change this template use File | Settings | File Templates.
+ */
+public class MyRandom {
+    public static Random rand = new Random();
+
+    public static boolean nextRandom(){
+        return rand.nextBoolean();
+    }
+
+    public static int nextInt(int max){
+        return rand.nextInt(max);
+    }
+}