---

ThresholdComb1(A;B;S;test;nxt;step;b;init) ==
  AccumComb(A;S  (?B);threshold_accum(test;
                       nxt;
                       step;
                       b);<init, inr  >)

---

Definitions :  AccumComb: AccumComb(A;B;f;x),  product: x:A  B[x],  union: left + right,  unit: Unit,  threshold_accum: threshold_accum,  pair: <a, b>,  inr: inr x ,  it:
FDL editor aliases :  ThresholdComb1

---

ThresholdComb1(A;B;S;test;nxt;step;b;init)  ==
    AccumComb(A;S  \mtimes{}  (?B);threshold\_accum(test;
                                              nxt;
                                              step;
                                              b);<init,  inr  \mcdot{}  >)


Date html generated: 2010_08_27-PM-08_24_07
Last ObjectModification: 2010_06_23-PM-11_14_45

Home Index