---

run-event-state(r;e) ==
  let t,x = e in
    let info,Cs,G = r t in 
   mapfilter(c.(snd(c));c.fst(c) = x;Cs)

---

Definitions :  spread: spread def,  spreadn: spread3,  apply: f a,  mapfilter: mapfilter(f;P;L),  pi2: snd(t),  lambda: x.A[x],  eq_id: a = b,  pi1: fst(t)
FDL editor aliases :  run-event-state

---

run-event-state(r;e)  ==
    let  t,x  =  e  in
        let  info,Cs,G  =  r  t  in 
      mapfilter(\mlambda{}c.(snd(c));\mlambda{}c.fst(c)  =  x;Cs)


Date html generated: 2010_08_27-PM-06_15_59
Last ObjectModification: 2010_05_23-PM-03_54_58

Home Index