On 06/30/2011 09:07 AM, Alexandre Pilkiewicz wrote: > I have the impression that none of the proposed solution allows to > increase/reduce the priority of an element, which is necessary for the > Dijkstra. (But I don't know any that does)
Correct; none of them do, to my knowledge. It's very rare that I've actually seen a priority queue implementation that allows this (Java's doesn't, for example). - Michael -- 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
