Extracted from Pike v7.4 release 117 at 2004-11-02.
[Top]
predef::
ADT
ADT.Priority_queue
adjust_pri()
pop()
push()
ADT.Priority_queue
ADT.Priority_queue()->pop()
Method ADT.Priority_queue()->adjust_pri()
Method
adjust_pri
void
adjust_pri
(
mixed
handle
,
int
new_pri
)
FIXME
Document this function