ToySolver.Internal.Data.PriorityQueue

PriorityQueue type

data PriorityQueue a

type Index

Constructors

newPriorityQueue

newPriorityQueueBy

class NewFifo q m

Operators

getElems

clear

clone

class Enqueue q m a

class Dequeue q m a

class QueueSize q m

getHeapArray

getHeapVec

Misc operations

resizeHeapCapacity