Pike v8.0 release 1738

Method ADT.Priority_queue()->push()


Method push

elem push(int pri, mixed val)

Description

Push an element val into the priority queue and assign a priority value pri to it. The priority queue will automatically sort itself so that the element with the smallest priority will be at the top.