public VertexStatCollection(int nodeID, String nodeName, DFTNodeType type, VertexStats initialStats, int initialTime)
{
this.nodeID = nodeID;
this.nodeName = nodeName;
this.type = type;
stats = new Dictionary <int, VertexStats>();
stats.Add(initialTime, initialStats);
}
public static DFTGraph getReachableGraphBWD(DFTGraph g, DFTNode n, DFTNodeType type)
{
return(g.getReachabilityGraphBWD(n, false, type));
}
