---

Collect(size v's from X
         with maximum num= num[v]
         return <num,n,outl(v).2> for which
         n=outl(val[v]).1 is maximum
         or <num,-1,prior Z> if all isr(val[v]))) ==
  (let z,b,mx,v = q in <b
      , mx
      , if isl(val[v])
      then snd(outl(val[v]))
      else z
      fi > 
 where q from Z;
                          Collect(size v's from X  with maximum num[v]
                                  such that tt
                                   return <num[v],n,v> with n = maximum case ...
                                  of inl(p) => fst(p)
                                   | inr(x) => -1))

---

Definitions :  map-class: (f[v] where v from X),  spreadn: let w,x,y,z = a in t[w; x; y; z] ,  pair: <a, b>,  ifthenelse: if b then t else f fi ,  isl: isl(x),  pi2: snd(t),  outl: outl(x),  es-interface-pair-prior: X;Y,  es-collect-filter-max: es-collect-filter-max,  btrue: tt,  decide: case b of inl(x) => s[x] | inr(y) => t[y],  pi1: fst(t),  minus: -n,  natural_number: $n
FDL editor aliases :  es-collect-opt-max

---

Collect(size  v's  from  X
                  with  maximum  num=  num[v]
                  return  <num,n,outl(v).2>  for  which
                  n=outl(val[v]).1  is  maximum
                  or  <num,-1,prior  Z>  if  all  isr(val[v])))  ==
    (let  z,b,mx,v  =  q  in  <b
            ,  mx
            ,  if  isl(val[v])
            then  snd(outl(val[v]))
            else  z
            fi  > 
  where  q  from  Z;Collect(size  v's  from  X    with  maximum  num[v]  such  that  tt
                                                                          return  <num[v],n,v>  with  n  =  maximum  case  val[v]
                                                                        of  inl(p)  =>  fst(p)
                                                                          |  inr(x)  =>  -1))


Date html generated: 2010_08_27-PM-03_09_24
Last ObjectModification: 2010_04_01-AM-11_47_45

Home Index