[isabelle-dev] priority queues

[Steffen Juilf Smolka]

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).

Steffen

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
> 
> Lukas
> 
> On 10/24/2012 05:21 PM, Steffen Juilf Smolka wrote:
>> Hi,
>> is there an implementation of priority queues in the isabelle library?
>> 
>> Steffen
>> _______________________________________________
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>