MaxAccept ==
accum-class(bv1,bv2.if fst(bv1) <z fst(bv2) then bv2 else bv1 fi ;
bv.bv;
Accept)
Definitions :
abbreviation: Accept,
pi1: fst(t),
lt_int: i <z j,
ifthenelse: if b then t else f fi
MaxAccept == accum-class(bv1,bv2.if fst(bv1) <z fst(bv2) then bv2 else bv1 fi ; bv.bv; Accept)
Date html generated:
2010_08_30-AM-12_51_08
Last ObjectModification:
2010_08_16-PM-08_11_47
Home
Index