run-event-history(r;e) ==
let x = run-event-loc(e) in
mapfilter(
t.<t, x>;t.is-run-event(r;t;x);[0, run-event-step(e)))
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),
natural_number: $n,
run-event-step: run-event-step(e)
FDL editor aliases :
run-event-history
run-event-history(r;e) ==
let x = run-event-loc(e) in
mapfilter(\mlambda{}t.<t, x>\mlambda{}t.is-run-event(r;t;x);[0, run-event-step(e)))
Date html generated:
2010_08_27-PM-06_18_04
Last ObjectModification:
2010_05_23-PM-06_58_34
Home
Index