[isabelle-dev] priority queues
Steffen Juilf Smolka
steffen.smolka at in.tum.de
Sat Oct 27 20:57:12 CEST 2012
Thanks. I used an ordered list as a temporary solution, but now replaced it with a table to avoid linear complexity (when adding new elements to the queue).
On 24.10.2012, at 17:26, Lukas Bulwahn <bulwahn at in.tum.de> wrote:
> I think priority queues are roughly ordered lists (the priority is the ordering). So, you could have a look at Pure/General/ord_list.ML
> On 10/24/2012 05:21 PM, Steffen Juilf Smolka wrote:
>> is there an implementation of priority queues in the isabelle library?
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
More information about the isabelle-dev