Change tabbing for everything....

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/TEdge.java b/Robust/src/Analysis/TaskStateAnalysis/TEdge.java
index bd54738ba520ff347f216644b61c11e856f85c99..84e00c8dbd4205e5247ee4c57e403be1bf0f47b0 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/TEdge.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/TEdge.java
@@ -7,24 +7,24 @@ import java.util.*;
 import Util.Edge;
 
 
-public class TEdge extends Edge{
-    
-    public TEdge(TaskNode target){
-       super(target);
-    }
-                
-    public int hashCode(){
-       return target.hashCode();
-    }
-    
-       
-    public boolean equals(Object o) {
-        if (o instanceof TEdge) {
-            TEdge e=(TEdge)o;
-           return e.target.equals(target);
-        }
-        return false;
+public class TEdge extends Edge {
+
+  public TEdge(TaskNode target) {
+    super(target);
+  }
+
+  public int hashCode() {
+    return target.hashCode();
+  }
+
+
+  public boolean equals(Object o) {
+    if (o instanceof TEdge) {
+      TEdge e=(TEdge)o;
+      return e.target.equals(target);
     }
+    return false;
+  }
+
 
-    
 }