From aed53035e4baf46de5a57a5ac4def32a4fb02604 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Thu, 9 Jul 2009 08:31:19 +0000
Subject: [PATCH] changes

---
 .../Benchmarks/SingleTM/Labyrinth3D/Grid.java | 19 +++++++++++++++++--
 .../Benchmarks/SingleTM/Labyrinth3D/Maze.java |  2 +-
 2 files changed, 18 insertions(+), 3 deletions(-)

diff --git a/Robust/src/Benchmarks/SingleTM/Labyrinth3D/Grid.java b/Robust/src/Benchmarks/SingleTM/Labyrinth3D/Grid.java
index 09f79325..53fedf71 100644
--- 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 4be999a0..e83e0233 100644
--- 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();
         }
 
 
-- 
2.34.1