From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr 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 p5UChUMv006724 for ; Thu, 30 Jun 2011 14:43:30 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4CAMBuDE7RVaC2kGdsb2JhbAAxCxaYZ4ZaAYgKCBQBAQEBCQkNBxQEIYh4ohGOawGNbAWGMZIziUWCVzyDVw X-IronPort-AV: E=Sophos;i="4.65,449,1304287200"; d="scan'208";a="97726108" Received: from mail-gy0-f182.google.com ([209.85.160.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Jun 2011 14:43:28 +0200 Received: by gyf3 with SMTP id 3so1337804gyf.27 for ; Thu, 30 Jun 2011 05:43:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=FpDguNzfsoTHDjyrKjiJGGWSgwLb41UXFCL02saU2IY=; b=p53oM6xc0K4UKw0HGaWlRgP/k4cW7Jc50eQOsrl8s34oGY2HwbUD25M3GuRkoM0F2a Nhpq45XsjiKB6NTxLMitBCOqsvgzgom9pDgON9Y65+tX60vpaWVLjnuQtpr8JbQf9B1z C+IrV25KFoSd101IIj+HUTDtoIFeltL7muw/Y= MIME-Version: 1.0 Received: by 10.150.175.20 with SMTP id x20mr470519ybe.92.1309437806237; Thu, 30 Jun 2011 05:43:26 -0700 (PDT) Received: by 10.151.43.6 with HTTP; Thu, 30 Jun 2011 05:43:26 -0700 (PDT) In-Reply-To: <4E0C6D42.3010102@gmail.com> References: <4E0C5E67.9010606@gmail.com> <4E0C60A1.7030103@gmail.com> <4E0C6463.2070708@gmail.com> <4E0C6D42.3010102@gmail.com> Date: Thu, 30 Jun 2011 13:43:26 +0100 Message-ID: From: Wojciech Meyer To: Andrew Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=000e0cd754924bdae404a6ed3f73 X-Validation-by: wojciech.meyer@googlemail.com Subject: Re: [Caml-list] Priority queues --000e0cd754924bdae404a6ed3f73 Content-Type: text/plain; charset=ISO-8859-1 On Thu, Jun 30, 2011 at 1:34 PM, Andrew wrote: > Wojciech Meyer wrote: > > > Yes it does: > > > > http://caml.inria.fr/pub/docs/**manual-ocaml/libref/Set.Make.**html > > > > Please see min_elt function. > > > > This is not an actual priority queue though: it doesn't allow for multiple > copies of the same element to be added :/ > Yes but you could simulate it with a list and map. Cheers; Wojciech --000e0cd754924bdae404a6ed3f73 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

On Thu, Jun 30, 2011 at 1:34 PM, Andrew = <newsgroups.fr@gmail.com> wrote:
Wojciech Meyer wrote:

> Yes it does:
>
> http://caml.inria.fr/pub/docs/manual-ocaml/l= ibref/Set.Make.html
>
> Please see min_elt function.
>

This is not an actual priority queue though: it doesn't allow for multi= ple copies of the same element to be added :/

Yes but you could simulate it with a list and map.
Cheers;
Wojciech

--000e0cd754924bdae404a6ed3f73--