next node: SetByBST,
prev node: SetByBSTConstr,
up to node: Subsystem Sets By Binary Search Trees


SetByBSTOfSetByBST

Functions for using sets of sets.

Signature of SetByBSTOfSetByBST

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: 1998/06/16 16:00:02 $ ($Revision: 1.1.1.1 $)

IMPORT  SetByBST[data, <] ONLY set[data,<] {<}[data,<]
            SetByBST[set[data, <], {<}] ONLY 
                set[set[data, <], {<}'SetByBST[data,<]]

Parameter

SORT data
FUN <   : data ** data -> bool

Functions

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