Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-test / src / edu / tamu / aser / rvtest / pingpong / PP.java

diff --git a/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/pingpong/PP.java b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/pingpong/PP.java
new file mode 100755 (executable)
index 0000000..e8397cd
--- /dev/null
+++ b/JMCR-Stable/mcr-test/src/edu/tamu/aser/rvtest/pingpong/PP.java
@@ -0,0 +1,46 @@
+package edu.tamu.aser.rvtest.pingpong;\r
+\r
+/**\r
+ *@author Golan\r
+ * 17/10/2003\r
+ * 13:48:28\r
+ *@version 1.0\r
+ */\r
+\r
+\r
+public class PP {\r
+\r
+\r
+    /**\r
+     *\r
+     */\r
+    private int i;\r
+\r
+\r
+    /**\r
+     *\r
+     */\r
+    public PP() {\r
+        i = 0;\r
+    }\r
+\r
+\r
+    /**\r
+     *\r
+     * @return\r
+     */\r
+    public int getI() {\r
+        return i;\r
+    }\r
+\r
+\r
+    /**\r
+     *\r
+     * @param i\r
+     */\r
+    public void setI(int i) {\r
+        this.i = i;\r
+    }\r
+\r
+\r
+}\r