public String toDOTString() {
StringBuilder sb = new StringBuilder();
sb.append("digraph onzeMooieGraph {\nrankdir=LR;\n");
for (Vertex vertex : vertices) {
sb.append(
String.format(
"n%d [label=\"%s ("
+ vertex.getEarliestTime()
+ ","
+ vertex.getLatestTime()
+ ")\" shape=\"square\"];\n",
vertices.indexOf(vertex),
vertex.getValue()));
}
for (Edge edge : edges) {
sb.append(
String.format(
"n%d -> n%d [ label = \"%d\" ];\n",
vertices.indexOf(edge.getFrom()), vertices.indexOf(edge.getTo()), edge.getWeight()));
}
sb.append("}");
return sb.toString();
}
