[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
> 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

More information about the isabelle-dev mailing list