ToySolver.Internal.Data.IndexedPriorityQueue

PriorityQueue type

data PriorityQueue

type Value

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

member

update

getHeapArray

getHeapVec

Misc operations

resizeHeapCapacity

resizeTableCapacity