e <loc e' ==
deq-member(es-eq(es);e;filter(
e.loc(e) = loc(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],
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),
es-pred-list: es-pred-list(es;e)
FDL editor aliases :
es-bless
e <loc e' == deq-member(es-eq(es);e;filter(\mlambda{}e.loc(e) = loc(e');es-pred-list(es;e')))
Date html generated:
2011_08_16-AM-10_33_44
Last ObjectModification:
2010_11_23-PM-04_19_05
Home
Index