votes-from-inning(i;L) ==
mapfilter(
r.let a,j,v = rcvd-vote(r) in <a, v>;r.inning(r) =
i;L)
Definitions :
mapfilter: mapfilter(f;P;L),
spreadn: spread3,
rcvd-vote: rcvd-vote(x),
pair: <a, b>,
lambda: x.A[x],
rcvd-inning-eq: inning(r) = i
FDL editor aliases :
votes-from-inning
votes-from-inning(i;L) == mapfilter(\mlambda{}r.let a,j,v = rcvd-vote(r) in <a, v>\mlambda{}r.inning(r) =\msubz{} i;L)
Date html generated:
2010_08_27-AM-12_56_54
Last ObjectModification:
2009_12_23-PM-03_32_11
Home
Index