changes

diff --git a/Robust/src/Benchmarks/SingleTM/Labyrinth3D/Grid.java b/Robust/src/Benchmarks/SingleTM/Labyrinth3D/Grid.java
index 09f793256e6f6a1756dffe212638d39c19099dc3..53fedf7122667a029b19b6d793c06dc9de1de4c7 100644 (file)
--- a/Robust/src/Benchmarks/SingleTM/Labyrinth3D/Grid.java
+++ b/Robust/src/Benchmarks/SingleTM/Labyrinth3D/Grid.java
@@ -240,8 +240,23 @@ void grid_addPath (grid_t* gridPtr, vector_t* pointVectorPtr);
     return ((z * height) + y) * width + x;
   }
 
-
-
+  
+  public void print() {
+    int width  = this.width;
+    int height = this.height;
+    int depth  = this.depth;
+
+    for (int z = 0; z < depth; z++) {
+      System.out.println("[z ="+z+"]");
+      for (int x = 0; x < width; x++) {
+       for (int y = 0; y < height; y++) {
+         System.out.print(points_unaligned[x][y][z]);
+       }
+       System.out.println("");
+      }
+      System.out.println("");
+    }
+  }
 }
 
 

diff --git a/Robust/src/Benchmarks/SingleTM/Labyrinth3D/Maze.java b/Robust/src/Benchmarks/SingleTM/Labyrinth3D/Maze.java
index 4be999a0dbf508ba238e61c7634003c65c7227f5..e83e0233e6cce3077ab78d5766d6396ee1e93d95 100644 (file)
--- a/Robust/src/Benchmarks/SingleTM/Labyrinth3D/Maze.java
+++ b/Robust/src/Benchmarks/SingleTM/Labyrinth3D/Maze.java
@@ -372,7 +372,7 @@ public class Maze {
 
         if(doPrintPaths) {
             System.out.println("\nRouted Maze:");
-           //            testGridPtr.print();
+           testGridPtr.print();
         }