public static void SetDefaultEventHandlers( WeightedGraph graph )
{
graph.ClearEventHandlers();
DirectedGraph.SetDefaultEventHandlers(graph);
graph.OnAddEdge += new EventHandler<EdgesModifiedEventArgs>(graph.WeightedGraph_OnAddEdge);
}
public override object Clone()
{
WeightedGraph w = new WeightedGraph();
base.CopyTo(w);
return w;
}
public WFGraphWrapper()
{
Graph = new WeightedGraph();
DefaultVertexSize = new Size(20, 20);
currentCoords = new PointF();
VertexWrappers = new List<IVertexWrapper>();
ArcWrappers = new List<IArcWrapper>();
WFGraphWrapper.SetDefaultEventHandlers(this);
}
