Programmable(A;X) ==
components:{bag(Id 
dataflow(Info;bag(A)))| (X
= dataflow-set-class(x.dataflow-union(bag-mapfilter(
c.(snd(c));c.fst(c) = x;
components))))}
Definitions occuring in Statement :
dataflow-set-class: dataflow-set-class(x.P[x]),
eclass: EClass(A[eo; e]),
dataflow-union: dataflow-union(dfs),
dataflow: dataflow(A;B),
eq_id: a = b,
Id: Id,
pi1: fst(t),
pi2: snd(t),
sq_exists: x:{A| B[x]},
lambda: x.A[x],
product: x:A B[x],
equal: s = t,
bag-mapfilter: bag-mapfilter(f;P;bs),
bag: bag(T)
FDL editor aliases :
programmable
Programmable(A;X) ==
\mexists{}components:\{bag(Id \mtimes{} dataflow(Info;bag(A)))| (X
= dataflow-set-class(x.dataflow-union(bag-mapfilter(\mlambda{}c.(snd(c));\mlambda{}c.fst(c) = x;components))))\}
Date html generated:
2011_08_16-PM-06_15_31
Last ObjectModification:
2011_07_06-AM-02_00_12
Home
Index