Change tabbing for everything....
[IRC.git] / Robust / src / Analysis / TaskStateAnalysis / TagEdge.java
index 0c594f720612659ea4536bc4a9a1e826e5608fcb..c1d809de766f86576cea213f15cd20e24175b24d 100644 (file)
@@ -10,30 +10,30 @@ import Util.Edge;
 
 public class TagEdge extends Edge {
 
-    private TaskDescriptor td;
-    /** Class Constructor
-     * 
-     */
-    public TagEdge(TagState target, TaskDescriptor td) {
-       super(target);
-       this.td=td;
-    }
-    
-    public int hashCode(){
-       return target.hashCode()^td.hashCode();
-    }
+  private TaskDescriptor td;
+  /** Class Constructor
+   *
+   */
+  public TagEdge(TagState target, TaskDescriptor td) {
+    super(target);
+    this.td=td;
+  }
 
-    public TaskDescriptor getTask() {
-       return td;
-    }
+  public int hashCode() {
+    return target.hashCode()^td.hashCode();
+  }
+
+  public TaskDescriptor getTask() {
+    return td;
+  }
 
-    public boolean equals(Object o) {
-        if (o instanceof TagEdge) {
-            TagEdge e=(TagEdge)o;
-           if (e.target.equals(target)&&
-               e.td==td)
-               return true;
-        }
-        return false;
+  public boolean equals(Object o) {
+    if (o instanceof TagEdge) {
+      TagEdge e=(TagEdge)o;
+      if (e.target.equals(target)&&
+          e.td==td)
+       return true;
     }
+    return false;
+  }
 }