prior(X) == local-pred-class(
es,e.e 
X)
Definitions :
local-pred-class: local-pred-class(P),
lambda: x.A[x],
in-eclass: e X
FDL editor aliases :
es-prior-interface
prior(X) == local-pred-class(\mlambda{}es,e.e \mmember{}\msubb{} X)
Date html generated:
2010_08_27-PM-02_28_32
Last ObjectModification:
2010_02_15-PM-07_33_38
Home
Index