|
From: Nicholas N. <nj...@cs...> - 2005-06-02 20:56:53
|
On Thu, 2 Jun 2005, Jeremy Fitzhardinge wrote: > (It's just a regular skip-list, not an interval skip-list.) I have a patch that lets you use the regular skip-list as an interval skip-list, with just minor changes to the API. It's from a while ago, though. N |