Function
push
Inserts a new item and adjusts the priority queue if necessary.
push(object, element)
Parameters
object
A priority queue.
Types: PriorityType
element
The item to be inserted in the priority queue.
Metafunctions: Value
Remarks
The result of this operation is stored in object.
See Also
pop, top
SeqAn - Sequence Analysis Library - www.seqan.de