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; }