---

prop-rule-realizer(pr;T;f;g;hdr) ==
  let L,F = pr in
    map(x.<x
           , dataflow-to-Process(
             df-program-meaning(F x);
             prop-rule-realizer-out(T;x;f;g;hdr))
           >;L)

---

Definitions :  prop-rule-realizer-out: prop-rule-realizer-out(T;x;f;g;hdr),  apply: f a,  df-program-meaning: df-program-meaning(dfp),  dataflow-to-Process: dataflow-to-Process,  pair: <a, b>,  lambda: x.A[x],  map: map(f;as),  spread: spread def
FDL editor aliases :  prop-rule-realizer

---

prop-rule-realizer(pr;T;f;g;hdr)  ==
    let  L,F  =  pr  in
        map(\mlambda{}x.<x,  dataflow-to-Process(df-program-meaning(F  x);prop-rule-realizer-out(T;x;f;g;hdr))>L)


Date html generated: 2010_08_30-AM-12_55_42
Last ObjectModification: 2010_08_23-PM-12_35_44

Home Index