2 bug fixes to getRequiredConstraints

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

diff --git a/Repair/RepairCompiler/MCC/State.java b/Repair/RepairCompiler/MCC/State.java
index 9f907a918e14f965b40dc525c61467923903349e..55a86e10578c3ee02c73d95e8088b1ed74305ce0 100755 (executable)
--- a/Repair/RepairCompiler/MCC/State.java
+++ b/Repair/RepairCompiler/MCC/State.java
@@ -6,7 +6,7 @@ import MCC.IR.*;
 import java.util.*;
 
 public class State {
-    
+
     public static State currentState = null;
 
     public static boolean failed = false;
@@ -32,8 +32,12 @@ public class State {
     public Vector vRules;
 
     public Hashtable rulenodes;
-    public Hashtable constraintnodes;    
+    public Hashtable constraintnodes;
+    public Hashtable implicitrule;
+    public Hashtable implicitruleinv;
+    public HashSet noupdate;
 
+    public SetAnalysis setanalysis;
     State() {
         vConstraints = null;
         vRules = null;
@@ -47,6 +51,9 @@ public class State {
         ptModel = null;
         ptConstraints = null;
         ptSpace = null;
+       implicitrule=new Hashtable();
+       implicitruleinv=new Hashtable();
+        noupdate=new HashSet();
     }
 
     void printall() {
@@ -59,5 +66,5 @@ public class State {
            System.out.println(c.toString());
        }
     }
-    
+
 }