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 ba679e5..0000000
--- a/Robust/src/Analysis/TaskStateAnalysis/Predicate.java
+++ /dev/null
@@ -1,33 +0,0 @@
-package Analysis.TaskStateAnalysis;
-import java.util.*;
-import IR.*;
-import IR.Tree.*;
-import IR.Flat.*;
-import Util.Edge;
-
-public class Predicate {
-  public HashSet<VarDescriptor> vardescriptors;
-  public Hashtable<VarDescriptor, HashSet<FlagExpressionNode>> flags;
-  public Hashtable<VarDescriptor, TagExpressionList> tags;
-  //if there is a tag change, we stop the analysis
-
-  public Predicate() {
-    this.vardescriptors = new HashSet<VarDescriptor>();
-    this.flags = new Hashtable<VarDescriptor, HashSet<FlagExpressionNode>>();
-    this.tags = new Hashtable<VarDescriptor, TagExpressionList>();
-  }
-
-  public boolean equals(Object o) {
-    if (o instanceof Predicate) {
-      Predicate p=(Predicate)o;
-      if (vardescriptors.equals(p.vardescriptors)&&
-          flags.equals(p.flags)&&
-          tags.equals(p.tags))
-       return true;
-    }
-    return false;
-  }
-  public int hashCode() {
-    return vardescriptors.hashCode();
-  }
-}