=====push=====
Syntax:

<code>
    #include <queue>
    void push( const TYPE& val );
</code>

The function push() adds val to the end of the current priority queue.