List of Import References :
See BOOL
See DENOTATION
See SetByPred
SIGNATURE SetByPredFilter[data]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- 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