dataflow-history-val(es;e;x.P[x]) ==
last(data-stream(P[loc(e)];map(
e.info(e);
loc(e))))
Definitions :
last: last(L),
data-stream: data-stream(P;L),
es-loc: loc(e),
map: map(f;as),
lambda: x.A[x],
es-info: info(e),
es-le-before: loc(e)
FDL editor aliases :
dataflow-history-val
dataflow-history-val(es;e;x.P[x]) == last(data-stream(P[loc(e)];map(\mlambda{}e.info(e);\mleq{}loc(e))))
Date html generated:
2010_08_27-PM-03_34_39
Last ObjectModification:
2010_05_13-PM-01_29_10
Home
Index