next node: HeapConv,
prev node: Heap,
up to node: Subsystem Heaps


HeapCompare

This structure provides functions for comparing heaps of different type.

Signature of HeapCompare

List of Import References :
See BOOL
See DENOTATION
See Heap
See Nat
See Option
See Seq
See Tree

SIGNATURE HeapCompare[data1, < : data1 ** data1 -> bool,

$Date: 1998/06/16 16:00:08 $ ($Revision: 1.1.1.1 $)

                      data2, < : data2 ** data2 -> bool]
IMPORT Heap[data1, <] ONLY heap
       Heap[data2, <] ONLY heap

Parameter

The types of the heaps to be compared.

SORT data1 data2

FUN < : data1 ** data1 -> bool
FUN < : data2 ** data2 -> bool

Isomorphism

Two heaps are structural isomorphic, if both are empty, or both are nonempty and their respective subheaps are structural isomorphic.

FUN ~ : heap[data1, <] ** heap[data2, <] -> bool


next node: HeapConv,
prev node: Heap,
up to node: Subsystem Heaps