/// <summary>
/// Records edge predecessor
/// </summary>
public void DiscoverTreeEdge(Object sender, EdgeEdgeEventArgs args)
{
if (args.Edge != args.TargetEdge)
EdgePredecessors[args.TargetEdge]=args.Edge;
}
public void RecordSource(Object sender, EdgeEdgeEventArgs args)
{
this.Edges.Add(args.Edge);
}
public void RecordTarget(Object sender, EdgeEdgeEventArgs args)
{
this.Edges.Add(args.TargetEdge);
}
public void DiscoverTreeEdge(object sender, EdgeEdgeEventArgs args)
{
if (args.get_Edge() != args.get_TargetEdge())
{
this.EdgePredecessors.set_Item(args.get_TargetEdge(), args.get_Edge());
}
}
public void RecordTarget(object sender, EdgeEdgeEventArgs args)
{
this.Edges.Add(args.get_TargetEdge());
}
public void RecordSource(object sender, EdgeEdgeEventArgs args)
{
this.Edges.Add(args.get_Edge());
}