Adding Labyrinth3D files

[IRC.git] / Robust / src / Benchmarks / Java-Single / Labyrinth3D / mlp / Normal_Java / Point.java

diff --git a/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/Normal_Java/Point.java b/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/Normal_Java/Point.java
new file mode 100644 (file)
index 0000000..8905bd5
--- /dev/null
+++ b/Robust/src/Benchmarks/Java-Single/Labyrinth3D/mlp/Normal_Java/Point.java
@@ -0,0 +1,25 @@
+
+  public class Point {
+        int x;
+        int y;
+        int z;
+        int value;
+        int momentum;
+
+        public Point() {
+            x = -1;
+            y = -1;
+            z = -1;
+            value = -1;
+            momentum = -1;
+        }
+        
+        public Point(int x,int y, int z,int value, int m) {
+            this.x = x;
+            this.y = y;
+            this.z = z;
+            this.value = value;
+            momentum = m;
+        }
+    }
+