Le 09/07/2011 11:02, Jon Harrop a écrit :
Jean-Christophe Filliâtre wrote:
Wow, that's impressive! But I guess you didn't need to implement the
remove
operation on red-black trees :-) That's a real pain.
Is Kahrs' so bad:
Hum... You forgot the 13 lines for function app :-)
You must admit that all together it's quite a lot of code (37 lines).
The code for removal in AVLs is shorter (19 lines) and follows a simpler
logic (based on min_elt and remove_min_elt).
--
Jean-Christophe
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
