object

pairing_heap_min

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

Availability:

logtalk_load(heaps(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-01-28

Compilation flags:

static, context_switching_calls

Extends:

public pairing_heap(<)

Remarks:

(none)

Inherited public predicates:

 (<)/2  (=:=)/2  (=<)/2  (=\=)/2  (>)/2  (>=)/2  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  numbervars/1  numbervars/3  occurs/2  singletons/2  size/2  subsumes/2  subterm/2  top/3  top_next/5  valid/1  variables/2  variant/2  varnumbers/2  varnumbers/3

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)

See also

pairing_heap_max, pairing_heap(Order)