es-interface-state(X; g) == 
es,e.(g X(filter(e.e 
X;
loc(e))))
Definitions :
apply: f a,
eclass-vals: X(L),
filter: filter(P;l),
lambda: x.A[x],
in-eclass: e X,
es-le-before: loc(e)
es-interface-state(X; g) == \mlambda{}es,e.(g X(filter(\mlambda{}e.e \mmember{}\msubb{} X;\mleq{}loc(e))))
Date html generated:
2010_08_27-PM-02_15_07
Last ObjectModification:
2010_01_26-AM-01_09_03
Home
Index