Version française
Home     About     Download     Resources     Contact us    
Browse thread
Sorted list
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: tmp123@m...
Subject: Re: [Caml-list] Sorted list
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
  <title></title>
</head>
<body bgcolor="#ffffff" text="#000000">
skaller wrote:
<blockquote cite="mid1186226538.14440.105.camel@rosella.wigram"
 type="cite">
  <pre wrap="">On Sat, 2007-08-04 at 12:29 +0200, Philippe Wang wrote:
  </pre>
  <blockquote type="cite">
    <pre wrap=""><a class="moz-txt-link-abbreviated"
 href="mailto:tmp123@menta.net">tmp123@menta.net</a> wrote:
    </pre>
  </blockquote>
  <pre wrap=""><!---->
  </pre>
  <blockquote type="cite">
    <blockquote type="cite">
      <pre wrap="">Of the standard modules, the most similar seems "set", because allows 
insertion and has the funcion "min_elt". However, the problem is, if 
two timers have the same time, addition of the second one removes the 
first.

Please, has someone any sugestion?

Thanks a lot.
      </pre>
    </blockquote>
  </blockquote>
  <pre wrap="">
You must keep a list of functions to fire off at a given time,
so the map will be

	time -&gt; timerid list

and you'll also need timerid -&gt; time * (unit-&gt;unit) to fetch the
function from the id.

  </pre>
</blockquote>
Hello,<br>
<br>
Thanks for the sugestion.<br>
<br>
It seems dificult to generate an unique identifier, for this subject or
any other (in this sense, I feel nostalgic of the old C pointers). <br>
<br>
An integer counter could be valid, but, when the counter reaches the
maximum, the counter needs to return to "0". From now on, before to
return a new identifier, it should be checked if this value is already
in use. And that means O(n).<br>
<br>
I do not see solution for that.<br>
<br>
Kind regards.<br>
</body>
</html>