Skip to main content

fibonacci_heap_decrease_key_ty

oxilean_std::data_structures::functions

Function fibonacci_heap_decrease_key_ty 

Source 
pub fn fibonacci_heap_decrease_key_ty() -> Expr
Expand description

FibonacciHeapDecreaseKey : Prop — decrease-key in Fibonacci heap is O(1) amortized.