defined-class(prg) ==
let A,F = prg in
dataflow-set-class(x.df-program-meaning(F(x)?null-df-program(A)))
Definitions :
null-df-program: null-df-program(B),
id-deq: IdDeq,
fpf-cap: f(x)?z,
df-program-meaning: df-program-meaning(dfp),
dataflow-set-class: dataflow-set-class(x.P[x]),
spread: spread def
FDL editor aliases :
defined-class
defined-class(prg) ==
let A,F = prg in
dataflow-set-class(x.df-program-meaning(F(x)?null-df-program(A)))
Date html generated:
2010_08_27-PM-03_35_34
Last ObjectModification:
2010_07_07-PM-03_44_13
Home
Index