public static IEnumerable <Node> BuildTrace(Node node)
{
trace.Clear();
epilog = LabelFactory.NextLabel();
labels.Clear();
assigned.Clear();
DfsVisit(node);
trace.Add(epilog);
return(trace);
}
private static LabelNode GetLabel(Node node)
{
if (node == null)
{
return(epilog);
}
if (labels.ContainsKey(node))
{
return(labels [node]);
}
labels [node] = LabelFactory.NextLabel();
return(labels [node]);
}
