Nuprl Definition : Threshold-Combinator
Threshold-Combinator(R;X;init_state;accum;f) ==
let state_function = 
v,state.if R v state then accum v state else state fi in
let output_function = i,v,state.if R v state then f i v state else {} fi in
output_function@Loc|Loc,X, Memory-class(state_function;init_state;X)|
Definitions occuring in Statement :
Memory-class: Memory-class(f;init;X),
concat-lifting-loc-2: f@Loc,
simple-loc-comb-2: F|Loc,X, Y|,
ifthenelse: if b then t else f fi ,
let: let,
apply: f a,
lambda: x.A[x],
empty-bag: {}
FDL editor aliases :
Threshold-Combinator
Threshold-Combinator(R;X;init$_{state}$;accum;f) ==
let state$_{function}$ = \mlambda{}v,state.if R v state then accum v state else state f\000Ci in
let output$_{function}$ = \mlambda{}i,v,state.if R v state then f i v state else \{\} fi\000C in
output$_{function}$@Loc|Loc,X, Memory-class(state$_{function}\000C$;init$_{state}$;X)|
Date html generated:
2012_01_23-PM-01_04_27
Last ObjectModification:
2012_01_10-AM-00_11_48
Home
Index