List of Import References :
See BOOL
See DENOTATION
See SetByPred
SIGNATURE SetByPredFilter[data]
$Date: 1998/06/16 16:00:01 $ ($Revision: 1.1.1.1 $)
-- filtering infinite sets -- Parameter SORT data IMPORT SetByPred[data] ONLY set FUN | : (data -> bool) ** set -> set -- filter -- p | S = all elements of S which fulfill p FUN partition : (data -> bool) ** set -> set ** set -- partition(p, S) = (p | S, (~p) | S)
next node: SetByPred,
prev node: SetByPredConv,
up to node: Subsystem Sets By Predicate