Module priority_queue::double_priority_queue

This module contains the DoublePriorityQueue type and the related iterators.

See the type level documentation for more details and examples.

Modules

• iterators
  This module defines iterator types that are used only with the DoublePriorityQueue

Structs

• DoublePriorityQueue
  A double priority queue with efficient change function to change the priority of an element.