GComm  0.2.3
Public Member Functions | List of all members
gcomm::evs::Consensus Class Reference

Public Member Functions

 Consensus (const UUID &uuid, const NodeMap &known, const InputMap &input_map, const View &current_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
 

Member Function Documentation

bool gcomm::evs::Consensus::equal ( const Message ,
const Message  
) 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.

Returns
Highest reachable safe seq.
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.


The documentation for this class was generated from the following file: