std::priority_queue::empty

From cppreference.com