5 #include "evs_seqno.hpp"
27 const View& current_view) :
30 input_map_ (input_map),
31 current_view_(current_view)
57 bool is_consistent_partitioning(
const Message&)
const;
58 bool is_consistent_leaving(
const Message&)
const;
59 bool is_consistent_same_view(
const Message&)
const;
60 bool is_consistent(
const Message&)
const;
61 bool is_consensus()
const;
64 const UUID& uuid()
const {
return uuid_; }
69 const View& current_view_;
seqno_t highest_reachable_safe_seq() const
bool is_consistent_input_map(const Message &) const
bool equal(const Message &, const Message &) const
Definition: evs_node.hpp:137
bool is_consistent_highest_reachable_safe_seq(const Message &) const
Definition: evs_message2.hpp:121
Definition: evs_consensus.hpp:21