public DotArrow(DotNode src, DotNode dest) { source = src; destination = dest; }
public void Add(DotNode node) { nodes.Add(node); }