---

NormalLProgrammable(A;X) ==
  dfs:{Id  DataflowProgram(Info)| (i:Id
                                        local-program-at{i:l}(Info;A;X;dfs 
                                                                       i;i))}

---

Definitions occuring in Statement :  local-program-at: local-program-at{i:l}(Info;A;X;dfp;x),  dataflow-program: DataflowProgram(A),  Id: Id,  all: x:A. B[x],  sq_exists: x:{A| B[x]},  apply: f a,  function: x:A  B[x]
Definitions :  sq_exists: x:{A| B[x]},  function: x:A  B[x],  dataflow-program: DataflowProgram(A),  all: x:A. B[x],  Id: Id,  local-program-at: local-program-at{i:l}(Info;A;X;dfp;x),  apply: f a
FDL editor aliases :  normal-locally-programmable

---

NormalLProgrammable(A;X)  ==
    \mexists{}dfs:\{Id  {}\mrightarrow{}  DataflowProgram(Info)|  (\mforall{}i:Id.  local-program-at\{i:l\}(Info;A;X;dfs  i;i))\}


Date html generated: 2011_08_16-PM-06_15_11
Last ObjectModification: 2011_06_13-PM-03_44_11

Home Index