Bug fixed in BuildCode.

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java b/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java
index b4f398127d1b7cec1e6fb39777817efaed195c65..380112ed40f2185196fba0edda76f67b45f8e533 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/OptionalTaskDescriptor.java
@@ -28,10 +28,13 @@ public class  OptionalTaskDescriptor{
     public boolean equals(Object o){
        if (o instanceof OptionalTaskDescriptor) {
            OptionalTaskDescriptor otd = (OptionalTaskDescriptor) o;
-           if (this.td.getSymbol().compareTo(otd.td.getSymbol())==0)
+           /*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;*/
+           if(this.hashCode()==otd.hashCode())
+               return true;
            return false;
        }
        else return false;