std::priority_queue inherits clear() from std::deque, no?