public Hashtable rulenodes;
public Hashtable constraintnodes;
-
+ public Hashtable implicitrule;
State() {
vConstraints = null;
vRules = null;
ptModel = null;
ptConstraints = null;
ptSpace = null;
+ implicitrule=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());
+ }
+ }
+
}