push

Inserts an element into the priority_queue.

  void push(const value_type& x);