import java.util.*;
public class State {
-
+
public static State currentState = null;
public static boolean failed = false;
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;
ptSpace = null;
implicitrule=new Hashtable();
implicitruleinv=new Hashtable();
+ noupdate=new HashSet();
}
void printall() {
System.out.println(c.toString());
}
}
-
+
}