public void RegisterEdgePredecessorRecorderHandlers(IEdgePredecessorRecorderVisitor vis)
{
this.InitializeEdge = (EdgeEventHandler) Delegate.Combine(this.InitializeEdge, new EdgeEventHandler(vis, (IntPtr) vis.InitializeEdge));
this.DiscoverTreeEdge = (EdgeEdgeEventHandler) Delegate.Combine(this.DiscoverTreeEdge, new EdgeEdgeEventHandler(vis, (IntPtr) vis.DiscoverTreeEdge));
this.FinishEdge = (EdgeEventHandler) Delegate.Combine(this.FinishEdge, new EdgeEventHandler(vis, (IntPtr) vis.FinishEdge));
}
public void RegisterEdgePredecessorRecorderHandlers(IEdgePredecessorRecorderVisitor vis)
{
this.InitializeEdge += new EdgeEventHandler(vis.InitializeEdge);
this.DiscoverTreeEdge +=new EdgeEdgeEventHandler(vis.DiscoverTreeEdge);
this.FinishEdge +=new EdgeEventHandler(vis.FinishEdge);
}
public void RegisterEdgePredecessorRecorderHandlers(IEdgePredecessorRecorderVisitor vis)
{
this.InitializeEdge += new EdgeEventHandler(vis.InitializeEdge);
this.DiscoverTreeEdge += new EdgeEdgeEventHandler(vis.DiscoverTreeEdge);
this.FinishEdge += new EdgeEventHandler(vis.FinishEdge);
}
