[m-rev.] for review: priority search queue ADT

[Paul Bone]

On Fri, Oct 31, 2014 at 12:43:35AM +0100, Matthias Güdemann wrote:
> For review by anyone:
> 
> This implements a priority search queue ADT. This is a kind of blend
> between priority queues and search trees; in contrast to a priority
> queue, it also allows changing priorities of keys, looking up keys and
> deleting keys.
> 
> This is an implementation based on the ICFP 2001 paper "A Simple
> Implementation Technique for Priority Search Queues" by Ralf Hinze.
> 
> As stated in[2], I'd be willing to adhere to the required licensing to
> include this in the Mercury standard library. If this is not desired, it
> could be included as an extra in the Mercury distribution under the BSD
> license.
> 

Hi Matthias.

You're code has been committed and is now in the latest build of the master
branch (uploaded just now).

http://www.mercurylang.org/information/doc-latest/mercury_library/psqueue.html#psqueue

http://dl.mercurylang.org/index.html

https://twitter.com/MercuryLang/status/542095847853285376


-- 
Paul Bone