This commit was manufactured by cvs2svn to create tag 'buildscript'.

[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / Predicate.java

diff --git a/Robust/src/Analysis/TaskStateAnalysis/Predicate.java b/Robust/src/Analysis/TaskStateAnalysis/Predicate.java
deleted file mode 100644 (file)
index b00b898..0000000
--- a/Robust/src/Analysis/TaskStateAnalysis/Predicate.java
+++ /dev/null
@@ -1,34 +0,0 @@
-package Analysis.TaskStateAnalysis;
-import java.util.*;
-import IR.*;
-import IR.Tree.*;
-import IR.Flat.*;
-import Util.Edge;
-
-public class Predicate{
-    public Hashtable<String, VarDescriptor> vardescriptors;
-    public Hashtable<String, HashSet<FlagExpressionNode>> flags;
-    public Hashtable<String, TagExpressionList> tags; //if there is a tag change, we stop the analysis
-    
-    public Predicate(){
-       this.vardescriptors = new Hashtable();
-       this.flags = new Hashtable();
-       this.tags = new Hashtable();
-    } 
-
-    public boolean equals(Object o){
-       if(o instanceof Predicate){
-           Predicate p = (Predicate) o;
-           if(this.vardescriptors.equals(p.vardescriptors))
-               return true;
-           return false;
-       }
-       else return false;
-    }
-
-    public int hashCode(){
-       return vardescriptors.hashCode();
-    }
-
-
-}