public NodePrinter(HeapElementPrinter p)
{
parent = p;
}
public static void PrintHeapElements(StateImpl state)
{
HeapElementPrinter hep = new HeapElementPrinter(state);
TraverseHeap(state, hep.edgeTrav, hep.nodeTrav);
System.Console.WriteLine("============================================");
}
public EdgePrinter(HeapElementPrinter p)
{
parent = p;
}
