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.