GComm
0.2.3
|
Public Member Functions | |
Consensus (const UUID &uuid, const NodeMap &known, const InputMap &input_map, const View ¤t_view) | |
bool | equal (const Message &, const Message &) const |
seqno_t | highest_reachable_safe_seq () const |
bool | is_consistent_highest_reachable_safe_seq (const Message &) const |
bool | is_consistent_input_map (const Message &) const |
bool | is_consistent_partitioning (const Message &) const |
bool | is_consistent_leaving (const Message &) const |
bool | is_consistent_same_view (const Message &) const |
bool | is_consistent (const Message &) const |
bool | is_consensus () const |
Compare two messages if they are equal in consensus context.
seqno_t gcomm::evs::Consensus::highest_reachable_safe_seq | ( | ) | const |
Compute highest reachable safe seq from local state.
bool gcomm::evs::Consensus::is_consistent_highest_reachable_safe_seq | ( | const Message & | ) | const |
Check if highest reachable safe seq according to message consistent with local state.
bool gcomm::evs::Consensus::is_consistent_input_map | ( | const Message & | ) | const |
Check if message aru seq, safe seq and node ranges matches to local state.