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

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

diff --git a/Robust/src/Analysis/TaskStateAnalysis/EGEdge.java b/Robust/src/Analysis/TaskStateAnalysis/EGEdge.java
deleted file mode 100644 (file)
index 0dd3984..0000000
--- a/Robust/src/Analysis/TaskStateAnalysis/EGEdge.java
+++ /dev/null
@@ -1,20 +0,0 @@
-package Analysis.TaskStateAnalysis;
-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 FlagState getFS() {
-    return fs;
-  }
-
-  public EGTaskNode getTarget() {
-    return (EGTaskNode) target;
-  }
-}