/// <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()); }