---

local-state(f;base;X;e) ==
  if e  X then f prior-state(f;base;X;e) X(e) else prior-state(f;base;X;e) fi 

---

Definitions :  ifthenelse: if b then t else f fi ,  in-eclass: e  X,  apply: f a,  eclass-val: X(e),  es-local-prior-state: prior-state(f;base;X;e)
FDL editor aliases :  es-interface-local-state

---

local-state(f;base;X;e)  ==
    if  e  \mmember{}\msubb{}  X  then  f  prior-state(f;base;X;e)  X(e)  else  prior-state(f;base;X;e)  fi 


Date html generated: 2010_08_27-PM-03_07_19
Last ObjectModification: 2010_03_31-PM-01_51_31

Home Index