Extracted from Pike v7.6 release 61 at 2005-12-30.
[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