public static DFTGraph getReachableGraphFWD(DFTGraph g, DFTNode n) { return(g.getReachabilityGraphFWD(n)); }
public static DFTGraph getReachableGraphPython(DFTGraph g) { DFTNode root = g.getNodeByName("P>python.exe"); return(g.getReachabilityGraphFWD(root)); }