Functions for using sets of sets.
List of Import References :
See BOOL
See BSTree
See DENOTATION
See Nat
See Option
See Pair
See Seq
See SetByBST
See Tree
SIGNATURE SetByBSTOfSetByBST[data, < :data ** data -> bool]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
IMPORT SetByBST[data, <] ONLY set[data,<] {<}[data,<]
SetByBST[set[data, <], {<}] ONLY
set[set[data, <], {<}'SetByBST[data,<]]
SORT data FUN < : data ** data -> bool
Flatten Sets
FUN flat : set[set[data, <], {<}] -> set[data, <]
Construct the Power Set
FUN P : set[data, <] -> set[set[data, <], {<}]
Partition Set according to given equivalence relation
FUN partition: (data ** data -> bool) -> set[data, <] -> set[set[data, <], {<}]
next node: SetByBST,
prev node: SetByBSTConstr,
up to node: Subsystem Sets By Binary Search Trees