1 package Analysis.TaskStateAnalysis;
4 public class Allocations {
5 public Allocations() {}
7 public String nodeLabel(GraphNode gn) {
11 public String nodeOption(GraphNode gn) {
12 FlagState fs=(FlagState)gn;
13 if (fs.isSourceNode())
14 return "peripheries=2";
19 public String edgeLabel(Edge e) {
23 public String edgeOption(Edge e) {