---

run-event-interval(r;e1;e2) ==
  let x = run-event-loc(e1) in
      mapfilter(t.<t, x>;
                t.is-run-event(r;t;x);
                [run-event-step(e1), run-event-step(e2) + 1))

---

Definitions :  let: let,  run-event-loc: run-event-loc(e),  mapfilter: mapfilter(f;P;L),  pair: <a, b>,  lambda: x.A[x],  is-run-event: is-run-event(r;t;x),  from-upto: [n, m),  add: n + m,  run-event-step: run-event-step(e),  natural_number: $n
FDL editor aliases :  run-event-interval

---

run-event-interval(r;e1;e2)  ==
    let  x  =  run-event-loc(e1)  in
            mapfilter(\mlambda{}t.<t,  x>\mlambda{}t.is-run-event(r;t;x);[run-event-step(e1),  run-event-step(e2)  +  1))


Date html generated: 2010_08_27-PM-06_17_38
Last ObjectModification: 2010_05_25-PM-03_02_55

Home Index