graph-rcvs(S;G;a;b;j) ==
mapfilter(
i.rcv((link(a i j) from i to j),b);i.deq-member(IdDeq;j;G i);S)
Definitions :
mapfilter: mapfilter(f;P;L),
rcv: rcv(l,tg),
mk_lnk: (link(n) from i to j),
lambda: x.A[x],
deq-member: deq-member(eq;x;L),
id-deq: IdDeq,
apply: f a
FDL editor aliases :
graphs-rcvs
graph-rcvs(S;G;a;b;j) ==
mapfilter(\mlambda{}i.rcv((link(a i j) from i to j),b);\mlambda{}i.deq-member(IdDeq;j;G i);S)
Date html generated:
2010_08_26-PM-11_41_15
Last ObjectModification:
2008_02_27-PM-09_33_38
Home
Index