Collect3 ==
Collect(x2 + 1 vs's from VoteState with maximum Reservation(vs) such that tt
return <Reservation(vs),n,vs> with n = maximum Ballot(vs))
Definitions :
btrue: tt,
natural_number: $n,
add: n + m,
abbreviation: VoteState
Collect3 ==
Collect(x2 + 1 vs's from VoteState with maximum Reservation(vs) such that tt
return <Reservation(vs),n,vs> with n = maximum Ballot(vs))
Date html generated:
2010_08_30-AM-12_51_11
Last ObjectModification:
2010_08_16-PM-11_01_22
Home
Index