X'(e)?d == if e 
prior(X) then X(prior(X)(e)) else d fi
Definitions :
ifthenelse: if b then t else f fi ,
in-eclass: e X,
eclass-val: X(e),
es-prior-interface: prior(X)
FDL editor aliases :
es-opt-prior-val
X'(e)?d == if e \mmember{}\msubb{} prior(X) then X(prior(X)(e)) else d fi
Date html generated:
2010_08_27-PM-02_35_52
Last ObjectModification:
2010_03_23-AM-11_56_52
Home
Index