dataflow-bags-equiv(A;B;b1;b2) ==
as:A List
. (
d
b1.last(data-stream(d;as)) = db2.last(data-stream(d;as)))
Definitions occuring in Statement :
data-stream: data-stream(P;L),
all: x:A. B[x],
equal: s = t,
listp: A List,
last: last(L),
bag-combine: xbs.f[x],
bag: bag(T)
Definitions :
all: x:A. B[x],
listp: A List,
equal: s = t,
bag: bag(T),
bag-combine: xbs.f[x],
last: last(L),
data-stream: data-stream(P;L)
FDL editor aliases :
dataflow-bags-equiv
dataflow-bags-equiv(A;B;b1;b2) ==
\mforall{}as:A List\msupplus{}. (\mcup{}d\mmember{}b1.last(data-stream(d;as)) = \mcup{}d\mmember{}b2.last(data-stream(d;as)))
Date html generated:
2011_08_16-AM-09_48_40
Last ObjectModification:
2011_04_27-PM-03_24_41
Home
Index