---

df-program-in-state-ap'(dfp;s;m) ==
  if isl(s) then df-program-in-state-ap(dfp;outl(s);m) else <s, {}> fi 

---

Definitions occuring in Statement :  df-program-in-state-ap: df-program-in-state-ap(dfp;s;m),  outl: outl(x),  isl: isl(x),  ifthenelse: if b then t else f fi ,  pair: <a, b>,  empty-bag: {}
Definitions :  ifthenelse: if b then t else f fi ,  isl: isl(x),  df-program-in-state-ap: df-program-in-state-ap(dfp;s;m),  outl: outl(x),  pair: <a, b>,  empty-bag: {}
FDL editor aliases :  df-program-in-state-ap'

---

df-program-in-state-ap'(dfp;s;m)  ==
    if  isl(s)  then  df-program-in-state-ap(dfp;outl(s);m)  else  <s,  \{\}>  fi 


Date html generated: 2011_08_16-AM-09_36_10
Last ObjectModification: 2011_06_17-PM-12_59_42

Home Index