6 public String nodeLabel(GraphNode gn) {
7 return gn.getTextLabel();
10 public String nodeOption(GraphNode gn) {
11 return gn.dotnodeparams;
14 public String edgeLabel(GraphNode src, Edge e) {
18 public String edgeOption(GraphNode src, Edge e) {
19 return e.dotnodeparams;