(v from X with maximum f[v]) ==
accum-class(v1,v2.if f[v1] <z f[v2] then v2 else v1 fi ; v.v; X)
Definitions :
lt_int: i <z j,
ifthenelse: if b then t else f fi ,
accum-class: accum-class(a,x.f[a; x]; x.base[x]; X)
FDL editor aliases :
max-f-class
(v from X with maximum f[v]) == accum-class(v1,v2.if f[v1] <z f[v2] then v2 else v1 fi ; v.v; X)
Date html generated:
2010_08_27-PM-02_25_01
Last ObjectModification:
2010_08_05-PM-01_37_04
Home
Index