---

rec-dataflow-state(s0;s,m.next[s; m];L) ==  list_accum(s,m.fst(next[s; m]);s0;L)

---

Definitions occuring in Statement :  pi1: fst(t),  list_accum: list_accum(x,a.f[x; a];y;l)
Definitions :  list_accum: list_accum(x,a.f[x; a];y;l),  pi1: fst(t)
FDL editor aliases :  rec-dataflow-state

---

rec-dataflow-state(s0;s,m.next[s;  m];L)  ==    list\_accum(s,m.fst(next[s;  m]);s0;L)


Date html generated: 2011_08_10-AM-08_14_02
Last ObjectModification: 2011_06_16-PM-04_44_43

Home Index