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: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

                      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