buffer-dataflow(s;x.P[x]) == rec-dataflow(s;s,x.<if P[x] then x else s fi , s>)
Definitions :
rec-dataflow: rec-dataflow(s0;s,m.next[s; m]),
pair: <a, b>,
ifthenelse: if b then t else f fi
FDL editor aliases :
buffer-dataflow
buffer-dataflow(s;x.P[x]) == rec-dataflow(s;s,x.<if P[x] then x else s fi , s>)
Date html generated:
2010_08_27-AM-12_16_54
Last ObjectModification:
2010_02_09-PM-01_04_44
Home
Index