public String toString() {
return getSource().toString() + "->" + getSink().toString();
}
public void addToGraph(Graph graph, Node source, Node sink) {
Edge dotEdge = new Edge(graph, source, sink);
dotEdge.setAttribute(Edge.LABEL_ATTR, label.getLabel());
}