Extracted from Pike v8.0 release 28 as of 2015-09-20.
   

Method ADT.Priority_queue()->push()


Method push

mixed 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.