1 #ifndef paxos_protocol_h
2 #define paxos_protocol_h
12 LEXICOGRAPHIC_COMPARISON(prop_t)
17 class paxos_protocol {
19 enum status : status_t { OK, ERR };
20 enum rpc_numbers : proc_t {
33 MEMBERS(oldinstance, accept, n_a, v_a)
37 MARSHALLABLE(paxos_protocol::prepareres)