C++優先度キュー

C++の優先度キューは(通常の)キューに似ていますが、キュー内部の要素はいくつかの述語で順位付けされています。

Constructors	新しい優先度キューを構築します
empty	優先度キューに要素がなければ真(true)を返却します
pop	優先度キューの先頭要素を取り除きます
push	優先度キューの末尾に要素を追加します
size	優先度キューの項目数を返却します
top	優先度キューの先頭要素を取得します