Beispiel #1
0
 public void toDot(StringBuffer str) {
   str.append("e_" + id + " [");
   str.append("shape=\"ellipse\", label=\"" + toString());
   str.append("\"];\n");
 }