1 package Analysis.TaskStateAnalysis;
8 public class Predicate{
9 public Hashtable<String, VarDescriptor> vardescriptors;
10 public Hashtable<String, HashSet<FlagExpressionNode>> flags;
11 public Hashtable<String, TagExpressionList> tags; //if there is a tag change, we stop the analysis
14 this.vardescriptors = new Hashtable();
15 this.flags = new Hashtable();
16 this.tags = new Hashtable();
19 public boolean equals(Object o){
20 if(o instanceof Predicate){
21 Predicate p = (Predicate) o;
22 if(this.vardescriptors.equals(p.vardescriptors))
29 public int hashCode(){
30 return vardescriptors.hashCode();