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 }