dataflow-union(dfs) ==
rec-dataflow(dfs;s,a.let result = bag-map(
df.df(a);s) in
<bag-map(p.(fst(p));result), 
p
result.snd(p)>)
Definitions occuring in Statement :
dataflow-ap: df(a),
rec-dataflow: rec-dataflow(s0;s,m.next[s; m]),
let: let,
pi1: fst(t),
pi2: snd(t),
lambda: x.A[x],
pair: <a, b>,
bag-combine: xbs.f[x],
bag-map: bag-map(f;bs)
FDL editor aliases :
dataflow-union
dataflow-union(dfs) ==
rec-dataflow(dfs;s,a.let result = bag-map(\mlambda{}df.df(a);s) in
<bag-map(\mlambda{}p.(fst(p));result), \mcup{}p\mmember{}result.snd(p)>)
Date html generated:
2011_08_16-AM-09_52_45
Last ObjectModification:
2011_06_30-PM-01_31_44
Home
Index