This structure provides functions for comparing heaps of different type.
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
The types of the heaps to be compared.
SORT data1 data2 FUN < : data1 ** data1 -> bool FUN < : data2 ** data2 -> bool
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