LogCabin
|
#include <RaftConsensus.h>
Classes | |
struct | ConsensusSnapshot |
Public Member Functions | |
Invariants (RaftConsensus &) | |
~Invariants () | |
void | checkAll () |
Private Member Functions | |
void | checkBasic () |
void | checkPeerBasic () |
void | checkDelta () |
void | checkPeerDelta () |
Private Attributes | |
const RaftConsensus & | consensus |
uint64_t | errors |
std::unique_ptr < ConsensusSnapshot > | previous |
Definition at line 62 of file RaftConsensus.h.
LogCabin::Server::RaftConsensusInternal::Invariants::Invariants | ( | RaftConsensus & | consensus | ) | [explicit] |
Definition at line 73 of file RaftConsensusInvariants.cc.
Definition at line 80 of file RaftConsensusInvariants.cc.
Definition at line 85 of file RaftConsensusInvariants.cc.
void LogCabin::Server::RaftConsensusInternal::Invariants::checkBasic | ( | ) | [private] |
Definition at line 94 of file RaftConsensusInvariants.cc.
void LogCabin::Server::RaftConsensusInternal::Invariants::checkPeerBasic | ( | ) | [private] |
Definition at line 273 of file RaftConsensusInvariants.cc.
void LogCabin::Server::RaftConsensusInternal::Invariants::checkDelta | ( | ) | [private] |
Definition at line 222 of file RaftConsensusInvariants.cc.
void LogCabin::Server::RaftConsensusInternal::Invariants::checkPeerDelta | ( | ) | [private] |
Definition at line 298 of file RaftConsensusInvariants.cc.
Definition at line 73 of file RaftConsensus.h.
uint64_t LogCabin::Server::RaftConsensusInternal::Invariants::errors [private] |
Definition at line 74 of file RaftConsensus.h.
std::unique_ptr<ConsensusSnapshot> LogCabin::Server::RaftConsensusInternal::Invariants::previous [private] |
Definition at line 75 of file RaftConsensus.h.