---

AccumComb(A;B;f;x) ==
  RecComb1(T.T r A;T.B;v,s.if (bag-size(v) = 1)
  then {f if (bag-size(s) = 1) then only(s) else x fi  only(v)}
  else {}
  fi )

---

Definitions occuring in Statement :  RecComb1: RecComb1(T.P[T];T.F[T];v,s.H[v; s]),  subtype_rel: A r B,  eq_int: (i = j),  ifthenelse: if b then t else f fi ,  apply: f a,  natural_number: $n,  bag-only: only(bs),  bag-size: bag-size(bs),  single-bag: {x},  empty-bag: {}
Definitions :  RecComb1: RecComb1(T.P[T];T.F[T];v,s.H[v; s]),  subtype_rel: A r B,  single-bag: {x},  apply: f a,  ifthenelse: if b then t else f fi ,  eq_int: (i = j),  bag-size: bag-size(bs),  natural_number: $n,  bag-only: only(bs),  empty-bag: {}
FDL editor aliases :  AccumComb

---

AccumComb(A;B;f;x)  ==
    RecComb1(T.T  \msubseteq{}r  A;T.B;v,s.if  (bag-size(v)  =\msubz{}  1)
    then  \{f  if  (bag-size(s)  =\msubz{}  1)  then  only(s)  else  x  fi    only(v)\}
    else  \{\}
    fi  )


Date html generated: 2011_08_17-PM-06_26_16
Last ObjectModification: 2011_01_20-AM-00_21_08

Home Index