/// <summary> /// For each dirEdge in the star, merge the label . /// </summary> public void MergeSymLabels() { foreach (DirectedEdge de in Edges) { Label label = de.Label; label.Merge(de.Sym.Label); } }