---

MapFilterComb(A;B;f) ==
  SimpleComb1(T.T r A;T.B;v.if (bag-size(v) = 1) then f only(v) else {} fi )

---

Definitions occuring in Statement :  SimpleComb1: SimpleComb1(T1.P1[T1];T.F[T];a.H[a]),  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),  empty-bag: {}
Definitions :  SimpleComb1: SimpleComb1(T1.P1[T1];T.F[T];a.H[a]),  subtype_rel: A r B,  ifthenelse: if b then t else f fi ,  eq_int: (i = j),  bag-size: bag-size(bs),  natural_number: $n,  apply: f a,  bag-only: only(bs),  empty-bag: {}
FDL editor aliases :  MapFilterComb

---

MapFilterComb(A;B;f)  ==
    SimpleComb1(T.T  \msubseteq{}r  A;T.B;v.if  (bag-size(v)  =\msubz{}  1)  then  f  only(v)  else  \{\}  fi  )


Date html generated: 2011_08_17-PM-06_27_11
Last ObjectModification: 2011_01_20-AM-00_28_05

Home Index