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

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java b/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java
deleted file mode 100644 (file)
index b4f3981..0000000
--- a/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java
+++ /dev/null
@@ -1,54 +0,0 @@
-package Analysis.TaskStateAnalysis;
-import java.util.*;
-import IR.*;
-import IR.Tree.*;
-import IR.Flat.*;
-import java.io.*;
-import Util.Edge;
-
-public class  OptionalTaskDescriptor{
-    public TaskDescriptor td;
-    public HashSet flagstates;
-    public int depth;
-    public HashSet<HashSet> exitfses;
-    public Predicate predicate;
-    private static int nodeid=0;
-    private int uid;
-    
-    protected OptionalTaskDescriptor(TaskDescriptor td, HashSet flagstates, int depth, Predicate predicate){
-       this.td = td;
-       this.flagstates = flagstates;
-       this.depth = depth;
-       this.exitfses = new HashSet();
-       this.predicate = predicate;
-       this.uid = OptionalTaskDescriptor.nodeid++;
-       
-    }
-    
-    public boolean equals(Object o){
-       if (o instanceof OptionalTaskDescriptor) {
-           OptionalTaskDescriptor otd = (OptionalTaskDescriptor) o;
-           if (this.td.getSymbol().compareTo(otd.td.getSymbol())==0)
-               if(this.flagstates.equals(otd.flagstates))
-                   if(this.predicate.equals(otd.predicate))
-                       return true;
-           return false;
-       }
-       else return false;
-       
-    }
-    
-    public int hashCode() {
-       return td.getSymbol().hashCode()+flagstates.hashCode()+predicate.hashCode();
-    }
-    
-    public String tostring() {
-       return "Optional task "+td.getSymbol();
-    }
-
-    public int getuid() {
-       return uid;
-    }
-
-       
-}