Extracted from Pike v7.6 release 13 at 2006-10-17.
[Top]
ADT
ADT.Priority_queue
Methods
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