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

diff --git a/Repair/RepairCompiler/MCC/State.java b/Repair/RepairCompiler/MCC/State.java
index 9f907a9..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,8 @@ public class State {
         ptModel = null;
         ptConstraints = null;
         ptSpace = null;
+	implicitrule=new Hashtable();
+	implicitruleinv=new Hashtable();
     }
 
     void printall() {