---

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

---

Definitions :  spread: spread def,  spreadn: spread3,  apply: f a,  subtract: n - m,  natural_number: $n,  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-when

---

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


Date html generated: 2010_08_27-PM-06_16_09
Last ObjectModification: 2010_05_26-PM-04_00_52

Home Index