Extracted from Pike v8.0 release 28 as of 2015-08-03.
[Top]
ADT
ADT.Priority_queue
Index of class ADT.Priority_queue
adjust_pri()
peek()
pop()
push()