X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FState.java;h=d30e7cc4af074909c953d8085b7148b0a36e5e59;hb=69569fb5b790d7bd6567d8bf4f0ab6664e782380;hp=ee1dfa0864874d97d09b51a56a81a2643f08f8fe;hpb=6eb0d44a90242a5a01db9b8c5c0acebf2bd42347;p=repair.git

diff --git a/Repair/RepairCompiler/MCC/State.java b/Repair/RepairCompiler/MCC/State.java
index ee1dfa0..d30e7cc 100755
--- a/Repair/RepairCompiler/MCC/State.java
+++ b/Repair/RepairCompiler/MCC/State.java
@@ -33,7 +33,10 @@ public class State {
 
     public Hashtable rulenodes;
     public Hashtable constraintnodes;    
+    public Hashtable implicitrule;
+    public Hashtable implicitruleinv;
 
+    public SetAnalysis setanalysis;
     State() {
         vConstraints = null;
         vRules = null;
@@ -47,6 +50,19 @@ public class State {
         ptModel = null;
         ptConstraints = null;
         ptSpace = null;
+	implicitrule=new Hashtable();
+	implicitruleinv=new Hashtable();
     }
 
+    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());
+	}
+    }
+    
 }