BSTreeCompare

This structure provides functions for comparing balances search trees of different type.

Signature of BSTreeCompare

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

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

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

                        data2, < : data2 ** data2 -> bool]
IMPORT BSTree[data1, <] ONLY bstree[data1, <] 
       BSTree[data2, <] ONLY bstree[data2, <]

Parameter

The types of the trees to be compared.

SORT data1 data2

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

Isomorphism

Two trees are structural isomorphic, if both are empty, or both are nonempty and their respective subtrees are structural isomorphic.

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

next node: BSTreeConv,
prev node: BSTree,
up to node: Subsystem Balanced Search Trees