priority_queue

Methods

• bool empty( )
• uint size( )
• void pop( )
• int top( )
• double top_priority( )
• void push( int value, double priority = 0 )