added performance instrumentation (commented out)

[sbp.git] / src / edu / berkeley / sbp / GSS.java

diff --git a/src/edu/berkeley/sbp/GSS.java b/src/edu/berkeley/sbp/GSS.java
index 3876d58..7626b4e 100644 (file)
--- a/src/edu/berkeley/sbp/GSS.java
+++ b/src/edu/berkeley/sbp/GSS.java
@@ -18,6 +18,9 @@ class GSS {
     public GSS(Input input, Parser parser) { this.input = input; this.parser = parser;}
     public Input getInput() { return input; }
 
     public GSS(Input input, Parser parser) { this.input = input; this.parser = parser;}
     public Input getInput() { return input; }
 

+    /*
+    HashSet<Reduction> finishedReductions = new HashSet<Reduction>();
+    */

     int numNewNodes = 0;
     int numOldNodes = 0;
     int viewPos = 0;
     int numNewNodes = 0;
     int numOldNodes = 0;
     int viewPos = 0;

@@ -69,6 +72,9 @@ class GSS {
             this.pos = prev==null ? 0 : prev.pos+1;
             if (prev != null) prev.shift(this, forest);
             numReductions = 0;
             this.pos = prev==null ? 0 : prev.pos+1;
             if (prev != null) prev.shift(this, forest);
             numReductions = 0;

+            /*
+            finishedReductions.clear();
+            */

 
             int minPhasePos = Integer.MAX_VALUE;
             Reduction best = null;
 
             int minPhasePos = Integer.MAX_VALUE;
             Reduction best = null;

@@ -94,6 +100,9 @@ class GSS {
                         best = r;
                     }
                 }
                         best = r;
                     }
                 }

+                /*
+                finishedReductions.add(r);
+                */

                 numReductions++;
             }
             if (token==null) shift(null, null);
                 numReductions++;
             }
             if (token==null) shift(null, null);