Fix some of Dan's bugs (code generation for relation quantifiers misstyped), didn...

[repair.git] / Repair / RepairCompiler / MCC / State.java

diff --git a/Repair/RepairCompiler/MCC/State.java b/Repair/RepairCompiler/MCC/State.java
index ee1dfa0864874d97d09b51a56a81a2643f08f8fe..9f907a918e14f965b40dc525c61467923903349e 100755 (executable)
--- a/Repair/RepairCompiler/MCC/State.java
+++ b/Repair/RepairCompiler/MCC/State.java
@@ -49,4 +49,15 @@ public class State {
         ptSpace = null;
     }
 
+    void printall() {
+       for(int i=0;i<vRules.size();i++) {
+           Rule r=(Rule)vRules.get(i);
+           System.out.println(r.toString());
+       }
+       for(int i=0;i<vConstraints.size();i++) {
+           Constraint c=(Constraint)vConstraints.get(i);
+           System.out.println(c.toString());
+       }
+    }
+    
 }