Adding code to generate repair algorithms. Its not complete yet...

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

diff --git a/Repair/RepairCompiler/MCC/State.java b/Repair/RepairCompiler/MCC/State.java
index 9f907a918e14f965b40dc525c61467923903349e..024aed37ec7aa0a555c5f001e983a23bf73e0a0b 100755 (executable)
--- a/Repair/RepairCompiler/MCC/State.java
+++ b/Repair/RepairCompiler/MCC/State.java
@@ -33,7 +33,7 @@ public class State {
 
     public Hashtable rulenodes;
     public Hashtable constraintnodes;    
-
+    public Hashtable implicitrule;
     State() {
         vConstraints = null;
         vRules = null;
@@ -47,6 +47,7 @@ public class State {
         ptModel = null;
         ptConstraints = null;
         ptSpace = null;
+       implicitrule=new Hashtable();
     }
 
     void printall() {