object

# `minheap`

Min-heap implementation. Uses standard order to compare keys.

Author: Paulo Moura.
Version: 1.0
Date: 2010/2/19
Compilation flags:
`static, context_switching_calls`
Extends:
`public` heap(<)
Remarks:
(none)
Inherited public predicates:
as_heap/2 as_list/2 check/1 delete/4 depth/2 empty/1 ground/1 insert/4 insert_all/3 merge/3 new/1 occurs/2 singletons/2 size/2 subsumes/2 subterm/2 top/3 top_next/5 valid/1 variables/2 variant/2

- Public predicates

- Protected predicates

- Private predicates

- Operators

## Public predicates

(no local declarations; see entity ancestors if any)

## Protected predicates

(no local declarations; see entity ancestors if any)

## Private predicates

(no local declarations; see entity ancestors if any)

## Operators

(none)