From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5UDJqho008698 for ; Thu, 30 Jun 2011 15:19:52 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgMHAPB2DE5APrys/2dsb2JhbABSG5hLjm53yCGGMQSHQI9lHYs5 X-IronPort-AV: E=Sophos;i="4.65,450,1304287200"; d="scan'208";a="97728721" Received: from elehack.net ([64.62.188.172]) by mail2-smtp-roc.national.inria.fr with ESMTP; 30 Jun 2011 15:19:47 +0200 Received: from [192.168.42.102] (unknown [68.168.162.166]) by elehack.net (Postfix) with ESMTPSA id 466F3EF208 for ; Thu, 30 Jun 2011 08:19:48 -0500 (CDT) Message-ID: <4E0C77EF.6030408@elehack.net> Date: Thu, 30 Jun 2011 08:19:43 -0500 From: Michael Ekstrand User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.17) Gecko/20110428 Fedora/3.1.10-1.fc15 Lightning/1.0b3pre Thunderbird/3.1.10 MIME-Version: 1.0 To: caml-list@inria.fr References: <4E0C5E67.9010606@gmail.com> <4E0C6D2E.8070206@lri.fr> In-Reply-To: <4E0C6D2E.8070206@lri.fr> X-Enigmail-Version: 1.1.2 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Priority queues On 06/30/2011 07:33 AM, Jean-Christophe Filliātre wrote: > I have an implementation of priority queues on my web page: > > http://www.lri.fr/~filliatr/software.en.html > > Look for "heap". Note that it contains 2 implementations: one imperative > and one persistent. Help yourself I've used this heap implementation with good success. Batteries Included also contains a heap implementation (BatHeap) - if the OP is using Batteries, he can just use that heap as well. - Michael