Robust/src/Analysis/TaskStateAnalysis/EGEdge.java

   1 package Analysis.TaskStateAnalysis;
   2 import java.util.*;
   3 import Util.Edge;
   4
   5
   6 public class EGEdge extends Edge {
   7   FlagState fs;
   8   public EGEdge(FlagState fs, EGTaskNode target) {
   9     super(target);
  10     this.fs=fs;
  11   }
  12
  13   public FlagState getFS() {
  14     return fs;
  15   }
  16
  17   public EGTaskNode getTarget() {
  18     return (EGTaskNode) target;
  19   }
  20 }