Module 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.