---

es-interface-match(A;B;R) ==
  eclass-compose2(x,y.
                   if (bag-size(x) = 1)
                   then if (bag-size(y) = 1)
                        then case find-first(a.(R a only(x));only(y))
                             of inl(a) =>
                              {<a, only(x)>}
                              | inr(z) =>
                              {}
                        else {}
                        fi 
                   else {}
                   fi ;B;Prior(es-interface-unmatched(A; B; R)))

---

Definitions occuring in Statement :  primed-class: Prior(X),  es-interface-unmatched: es-interface-unmatched(A; B; R),  eclass-compose2: eclass-compose2(f;X;Y),  eq_int: (i = j),  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: x.A[x],  pair: <a, b>,  decide: case b of inl(x) => s[x] | inr(y) => t[y],  natural_number: $n,  bag-only: only(bs),  bag-size: bag-size(bs),  single-bag: {x},  empty-bag: {},  find-first: find-first(P;L)
Definitions :  eclass-compose2: eclass-compose2(f;X;Y),  ifthenelse: if b then t else f fi ,  eq_int: (i = j),  bag-size: bag-size(bs),  natural_number: $n,  decide: case b of inl(x) => s[x] | inr(y) => t[y],  find-first: find-first(P;L),  lambda: x.A[x],  apply: f a,  single-bag: {x},  pair: <a, b>,  bag-only: only(bs),  empty-bag: {},  primed-class: Prior(X),  es-interface-unmatched: es-interface-unmatched(A; B; R)
FDL editor aliases :  es-interface-match

---

es-interface-match(A;B;R)  ==
    eclass-compose2(\mlambda{}x,y.
                                      if  (bag-size(x)  =\msubz{}  1)
                                      then  if  (bag-size(y)  =\msubz{}  1)
                                                then  case  find-first(\mlambda{}a.(R  a  only(x));only(y))
                                                          of  inl(a)  =>
                                                            \{<a,  only(x)>\}
                                                            |  inr(z)  =>
                                                            \{\}
                                                else  \{\}
                                                fi 
                                      else  \{\}
                                      fi  ;B;Prior(es-interface-unmatched(A;  B;  R)))


Date html generated: 2011_08_16-PM-05_13_17
Last ObjectModification: 2011_01_22-PM-04_28_56

Home Index