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