Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
ADT
ADT.Priority_queue

Methods
 adjust_pri()
 peek()
 pop()
 push()
previousADT.Priority_queue
ADT.Priority_queue()->peek()next

Method ADT.Priority_queue()->adjust_pri()

Method adjust_pri

void adjust_pri(mixed handle, int new_pri)

Description

Adjust the priority value new_pri of an element handle in the priority queue. The priority queue will automatically sort itself so that the element with the smallest priority value will be at the top.