Closed antialize closed 9 years ago
Currently it is not documented if the priority queue is a min or a max queue. I believe it is a min queue (@Mortal ?), in either case the documentation should clearly state what is the case.
Who needs max queues! Yes, it is indeed a min queue.
Now fixed in 3e126d89d3a07b93d24a84e77567afe49fb75524.
Currently it is not documented if the priority queue is a min or a max queue. I believe it is a min queue (@Mortal ?), in either case the documentation should clearly state what is the case.