List of Import References :
See BOOL
See Bitset
See DENOTATION
See Nat
See Option
SIGNATURE BitsetFold
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
--
IMPORT Bitset ONLY set
Nat ONLY nat
FUN / : (nat ** nat -> nat) ** set -> nat
-- folding of sets
-- function f should be left-commutative: x o (y o z) = y o (x o z)
-- since reduction order is implementation dependent and should
-- not be relevant!
-- informally
-- + / {e0, e1, ..., en} == e0 + (e1 + ( ... + en) ... )
-- undefined for empty sets
next node: BitsetMap,
prev node: BitsetFilter,
up to node: Subsystem Bitsets