LogCabin
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines
Classes | Public Member Functions | Private Member Functions | Private Attributes
LogCabin::Server::RaftConsensusInternal::Invariants Class Reference

#include <RaftConsensus.h>

List of all members.

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 RaftConsensusconsensus
uint64_t errors
std::unique_ptr
< ConsensusSnapshot
previous

Detailed Description

Definition at line 62 of file RaftConsensus.h.


Constructor & Destructor Documentation

Definition at line 73 of file RaftConsensusInvariants.cc.

Definition at line 80 of file RaftConsensusInvariants.cc.


Member Function Documentation

Definition at line 85 of file RaftConsensusInvariants.cc.

Definition at line 94 of file RaftConsensusInvariants.cc.

Definition at line 273 of file RaftConsensusInvariants.cc.

Definition at line 222 of file RaftConsensusInvariants.cc.

Definition at line 298 of file RaftConsensusInvariants.cc.


Member Data Documentation

Definition at line 73 of file RaftConsensus.h.

Definition at line 74 of file RaftConsensus.h.

Definition at line 75 of file RaftConsensus.h.


The documentation for this class was generated from the following files:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines