This structure provides functions for comparing trees of different type.
List of Import References :
See BOOL
See DENOTATION
See Nat
See Option
See Seq
See Tree
SIGNATURE TreeCompare[data1, data2]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
IMPORT Tree[data1] ONLY tree
Tree[data2] ONLY tree
The types of the trees to be compared.
SORT data1 data2
Two trees are structural isomorphic, if both are empty, or both are nonempty and their respective subtrees are structural isomorphic.
FUN ~ : tree[data1] ** tree[data2] -> bool
next node: TreeFilter,
prev node: Tree,
up to node: Subsystem Binary Trees