1 package Analysis.TaskStateAnalysis;
4 public class TaskEdges extends Namer{
7 public String nodeLabel(GraphNode gn) {
11 public String nodeOption(GraphNode gn) {
16 public String edgeLabel(Edge edge){
21 public String edgeOption(Edge edge){
22 return "URL=\""+edge.getLabel()+".html\"";