---

better-feedback-dataflow(n;ds;F;s;x.P[x]) ==
  rec-dataflow(<ds, s>;st,a.let ds,buf = st in
                              let ds',out = eval-parallel-dataflow(n;ds;a) in
                                <<ds'
                                 , if P[F out buf] then F out buf else buf fi 
                                 >
                               , F out buf
                               >)

---

Definitions :  apply: f a,  ifthenelse: if b then t else f fi ,  pair: <a, b>,  eval-parallel-dataflow: eval-parallel-dataflow(n;s;m),  spread: spread def,  rec-dataflow: rec-dataflow(s0;s,m.next[s; m])
FDL editor aliases :  better-feedback-dataflow

---

better-feedback-dataflow(n;ds;F;s;x.P[x])  ==
    rec-dataflow(<ds,  s>st,a.let  ds,buf  =  st  in
                                                            let  ds',out  =  eval-parallel-dataflow(n;ds;a)  in
                                                                <<ds',  if  P[F  out  buf]  then  F  out  buf  else  buf  fi  >,  F  out  buf>)


Date html generated: 2010_08_27-AM-12_18_02
Last ObjectModification: 2010_07_04-PM-01_57_31

Home Index