Syntax:
#include <queue> void push( const TYPE& val );
The function push() adds val to the current priority queue.
push() runs in logarithmic time.