e 
loc e' ==
deq-member(es-eq(es);e;filter(
e.loc(e) = loc(e');[e' / es-pred-list(es;e')]))
Definitions occuring in Statement :
es-pred-list: es-pred-list(es;e),
es-loc: loc(e),
es-eq: es-eq(es),
eq_id: a = b,
lambda: x.A[x],
cons: [car / cdr],
filter: filter(P;l),
deq-member: deq-member(eq;x;L)
Definitions :
deq-member: deq-member(eq;x;L),
es-eq: es-eq(es),
filter: filter(P;l),
lambda: x.A[x],
eq_id: a = b,
es-loc: loc(e),
cons: [car / cdr],
es-pred-list: es-pred-list(es;e)
FDL editor aliases :
es-ble
e \mleq{}loc e' == deq-member(es-eq(es);e;filter(\mlambda{}e.loc(e) = loc(e');[e' / es-pred-list(es;e')]))
Date html generated:
2011_08_16-AM-10_34_22
Last ObjectModification:
2010_11_23-PM-04_15_30
Home
Index