Threshold(init;f;test;nxt;X) ==
RecClass(first e
if e 
X
then let v = X(e) in
let s = list_accum(s,v.f s v;init;X(<e)) in
if test s v then {<s, v>} else {} fi
else {}
fi
or next e after e' with value p
if e X
then let v = X(e) in
let s = list_accum(s,v.f s v;nxt p;X(e', e)) in
if test s v then {<s, v>} else {} fi
else {}
fi )
Definitions occuring in Statement :
es-rec-class: es-rec-class,
es-prior-interval-vals: X(e1, e2),
es-prior-interface-vals: X(<e),
eclass-val: X(e),
in-eclass: e X,
ifthenelse: if b then t else f fi ,
let: let,
apply: f a,
pair: <a, b>,
list_accum: list_accum(x,a.f[x; a];y;l),
single-bag: {x},
empty-bag: {}
Definitions :
es-rec-class: es-rec-class,
es-prior-interface-vals: X(<e),
in-eclass: e X,
eclass-val: X(e),
let: let,
list_accum: list_accum(x,a.f[x; a];y;l),
es-prior-interval-vals: X(e1, e2),
ifthenelse: if b then t else f fi ,
apply: f a,
single-bag: {x},
pair: <a, b>,
empty-bag: {}
FDL editor aliases :
es-threshold
Threshold(init;f;test;nxt;X) ==
RecClass(first e
if e \mmember{}\msubb{} X
then let v = X(e) in
let s = list\_accum(s,v.f s v;init;X(<e)) in
if test s v then \{<s, v>\} else \{\} fi
else \{\}
fi
or next e after e' with value p
if e \mmember{}\msubb{} X
then let v = X(e) in
let s = list\_accum(s,v.f s v;nxt p;X(e', e)) in
if test s v then \{<s, v>\} else \{\} fi
else \{\}
fi )
Date html generated:
2011_08_16-PM-05_10_36
Last ObjectModification:
2011_01_22-PM-03_50_25
Home
Index