void *dfh_delete(DFibHeap * h, DFibHeapNode * x) { void *k; k = x->dfhe_data; dfh_replacekey(h, x, INT_MIN); dfh_extractmin(h); return k; }
// Replaces the key for a given node Time replaceKeyInDHeap ( DFibHeap * heap, DFibHeapNode * node, Time newKey ) { Time res; res = dfh_replacekey ( heap, node, newKey ); return res; }