| Extracted from Pike v7.8 release 866 at 2018-02-09.

[Top]
ADT
ADT.Priority_queue

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