Nuprl Definition : classPreempted
classPreempted() == BaseClass(``paxos preempted``;ballot-id())
Proof not projected
Definitions occuring in Statement :
ballot-id: ballot-id(),
baseclass: BaseClass(h;T),
cons: [car / cdr],
nil: [],
token: "$token"
Definitions :
baseclass: BaseClass(h;T),
cons: [car / cdr],
token: "$token",
nil: [],
ballot-id: ballot-id()
FDL editor aliases :
classPreempted
classPreempted() == BaseClass(``paxos preempted``;ballot-id())
Date html generated:
2011_10_20-PM-04_19_47
Last ObjectModification:
2011_01_29-AM-00_37_02
Home
Index