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.