1 package Analysis.TaskStateAnalysis;
3 import Analysis.TaskStateAnalysis.*;
9 /* Edge *****************/
11 public class FEdge extends Edge {
17 public FEdge(FlagState target, String label) {
22 public String getLabel() {
26 public int hashCode(){
27 return target.hashCode()^label.hashCode();
30 public boolean equals(Object o) {
31 if (o instanceof FEdge) {
33 return e.label.equals(label)&&
34 e.target.equals(target);