Under Original/Normal_Java/ one would find the original Labyrinth project ported...

[IRC.git] / Robust / src / Benchmarks / Java-Single / Labyrinth / mlp / Normal_Java / CoordPathWrapper.java

diff --git a/Robust/src/Benchmarks/Java-Single/Labyrinth/mlp/Normal_Java/CoordPathWrapper.java b/Robust/src/Benchmarks/Java-Single/Labyrinth/mlp/Normal_Java/CoordPathWrapper.java
new file mode 100644 (file)
index 0000000..7085130
--- /dev/null
+++ b/Robust/src/Benchmarks/Java-Single/Labyrinth/mlp/Normal_Java/CoordPathWrapper.java
@@ -0,0 +1,12 @@
+
+public class CoordPathWrapper {
+       Pair coordinatePair;
+       Vector_t thePath;
+
+       public CoordPathWrapper(Pair coordinatePairPtr, Vector_t path) {
+               coordinatePair = coordinatePairPtr;
+               thePath = path;
+                       
+       }
+
+}