---

Collect(size v's from X  with maximum num[v] such that P[v]
         return <num[v],n,v> with n = maximum f[v]) ==
  (<fst(p)
  , outl(snd(p))
  > where p from es-collect-filter-max-aux(X;size;v.num[v];v.P[v];v.f[v]))

---

Definitions :  map-class: (f[v] where v from X),  pair: <a, b>,  pi1: fst(t),  outl: outl(x),  pi2: snd(t),  es-collect-filter-max-aux: es-collect-filter-max-aux(X;size;v.num[v];v.P[v];v.f[v])
FDL editor aliases :  es-collect-filter-max

---

Collect(size  v's  from  X    with  maximum  num[v]  such  that  P[v]
                  return  <num[v],n,v>  with  n  =  maximum  f[v])  ==
    (<fst(p),  outl(snd(p))>  where  p  from  es-collect-filter-max-aux(X;size;v.num[v];v.P[v];v.f[v]))


Date html generated: 2010_08_27-PM-03_06_08
Last ObjectModification: 2010_03_31-PM-12_18_26

Home Index