List of Import References :
See BOOL
See Bitset
See DENOTATION
See Nat
See Option
SIGNATURE BitsetFilter
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
--
IMPORT Bitset ONLY set
Nat ONLY nat
FUN | : (nat -> bool) ** set -> set
-- p | s
-- filter: select all elements of s fulfilling predicate p
FUN partition: (nat -> bool) ** set -> set ** set
-- partition (p, s) == (s1,s2)
-- s1, s2 are subsets of s; s1 + s2 = s
-- predicate p evaluating true for elements of s1
-- predicate p evaluating false for elements of s2
next node: BitsetFold,
prev node: BitsetConv,
up to node: Subsystem Bitsets