Heaps

An efficiently sorting dynamically sized data structure.

		type Content_Type
	Type for items in the heap.

		type Heap
	Type for instances. Doesn't need to be initialized. Unitialized heaps behave like regular empty ones.

Heap size management

		procedure Resize
	Grow or shrink a heap. If the new size is smaller than the number of items in the heap, some items will be cut off at the end without warning.
	Param  Type  Description in out This  Heap  Resize this heap. in New_Size  Positive  New size of the heap.

		procedure Deallocate
	Explicitly empty a heap and release associated memory.
	Param  Type  Description in out This  Heap  Empty this heap.

State information

		function Count
	How many items in the heap?
	Param  Type  Description in This  Heap  Read count from this heap. return  Natural  Item count of this heap.

		procedure Debug
	Print the heap's contents.
	Param  Type  Description in This  Heap  Debug this heap.

Writing and reading

		procedure Insert
	Insert an item into the heap.
	Param  Type  Description in out This  Heap  Insert into this heap. in Item  Content_Type  The item to insert.

		function Extract
	Extract the lightest item from the heap.
	Param  Type  Description in This  Heap  Extract from this heap. return  Content_Type  The lightest item.