Change tabbing for everything....

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/EGEdge.java b/Robust/src/Analysis/TaskStateAnalysis/EGEdge.java
index 12254037b289deee8829b422dacf27a6d29d074b..0dd3984ab52babcf65d2212c4ce332564cdd267a 100644 (file)
--- a/Robust/src/Analysis/TaskStateAnalysis/EGEdge.java
+++ b/Robust/src/Analysis/TaskStateAnalysis/EGEdge.java
@@ -3,18 +3,18 @@ import java.util.*;
 import Util.Edge;
 
 
-public class EGEdge extends Edge{
-    FlagState fs;
-    public EGEdge(FlagState fs, EGTaskNode target){
-       super(target);
-       this.fs=fs;
-    }
+public class EGEdge extends Edge {
+  FlagState fs;
+  public EGEdge(FlagState fs, EGTaskNode target) {
+    super(target);
+    this.fs=fs;
+  }
 
-    public FlagState getFS() {
-       return fs;
-    }
+  public FlagState getFS() {
+    return fs;
+  }
 
-    public EGTaskNode getTarget(){
-       return (EGTaskNode) target;
-    }
+  public EGTaskNode getTarget() {
+    return (EGTaskNode) target;
+  }
 }