Module priority_queue::double_priority_queue
source · Expand description
This module contains the DoublePriorityQueue type and the related iterators.
See the type level documentation for more details and examples.
Modules
This module defines iterator types that are used only with the
DoublePriorityQueueStructs
A double priority queue with efficient change function to change the priority of an
element.